From: Thomas Walker Lynch Date: Sat, 20 Jun 2026 15:55:55 +0000 (+0000) Subject: before Harmony update X-Git-Url: https://git.reasoningtechnology.com/sitemap.xml?a=commitdiff_plain;h=97dabb11c8dccca3fa27e04ec071c29bf0fd8f2a;p=RT-style before Harmony update --- diff --git a/developer/authored/RT/document/RT b/developer/authored/RT/document/RT new file mode 120000 index 0000000..2a6dec2 --- /dev/null +++ b/developer/authored/RT/document/RT @@ -0,0 +1 @@ +/home/Thomas/subu_data/developer/project/RT-style-JS_public/shared/linked-project/RT-style-JS_public/consumer/release/RT \ No newline at end of file diff --git a/developer/authored/RT/document/style_manual.html b/developer/authored/RT/document/style_manual.html index 2d36e90..61e0d74 100644 --- a/developer/authored/RT/document/style_manual.html +++ b/developer/authored/RT/document/style_manual.html @@ -3,14 +3,11 @@ RT Style System: Reference Manual - + - - RT conventions

Headings are first letter capitalized. Remaining words are as they would be in English prose.

diff --git a/shared/linked-project/.gitignore b/shared/linked-project/.gitignore new file mode 100644 index 0000000..2762afa --- /dev/null +++ b/shared/linked-project/.gitignore @@ -0,0 +1,6 @@ +# Ignore all files +* + +# But don't ignore the .gitignore file itself +!/.gitignore + diff --git a/shared/third_party/.gitignore b/shared/third_party/.gitignore deleted file mode 100644 index 0de97f0..0000000 --- a/shared/third_party/.gitignore +++ /dev/null @@ -1,8 +0,0 @@ -# Ignore all files -* - -# But don't ignore the .gitignore file itself -!/.gitignore - -# keep the upstream directory -!/upstream diff --git a/shared/third_party/upstream/.gitignore b/shared/third_party/upstream/.gitignore deleted file mode 100644 index aa0e8eb..0000000 --- a/shared/third_party/upstream/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -* -!/.gitignore \ No newline at end of file