From: Thomas Walker Lynch Date: Wed, 2 Oct 2024 01:57:10 +0000 (+0000) Subject: initial setup X-Git-Url: https://git.reasoningtechnology.com/style/static/gitweb.css?a=commitdiff_plain;h=7583d1b78d9702e3f6789a3de87004b8e4addca8;p=Ariadne initial setup --- diff --git a/developer/.githolder b/developer/.githolder deleted file mode 100644 index e69de29..0000000 diff --git a/developers/.githolder b/developers/.githolder new file mode 100644 index 0000000..e69de29 diff --git a/tool/.githolder b/tool/.githolder deleted file mode 100644 index e69de29..0000000 diff --git a/toolsmiths/.githolder b/toolsmiths/.githolder new file mode 100644 index 0000000..e69de29