initial setup
authorThomas Walker Lynch <xtujpz@reasoningtechnology.com>
Wed, 2 Oct 2024 01:57:10 +0000 (01:57 +0000)
committerThomas Walker Lynch <xtujpz@reasoningtechnology.com>
Wed, 2 Oct 2024 01:57:10 +0000 (01:57 +0000)
developer/.githolder [deleted file]
developers/.githolder [new file with mode: 0644]
tool/.githolder [deleted file]
toolsmiths/.githolder [new file with mode: 0644]

diff --git a/developer/.githolder b/developer/.githolder
deleted file mode 100644 (file)
index e69de29..0000000
diff --git a/developers/.githolder b/developers/.githolder
new file mode 100644 (file)
index 0000000..e69de29
diff --git a/tool/.githolder b/tool/.githolder
deleted file mode 100644 (file)
index e69de29..0000000
diff --git a/toolsmiths/.githolder b/toolsmiths/.githolder
new file mode 100644 (file)
index 0000000..e69de29