diff --git a/Scripts/Readme b/Scripts/Readme new file mode 100644 index 0000000000000000000000000000000000000000..ff07b90b9abe69d9bc409504643f42321fc06339 --- /dev/null +++ b/Scripts/Readme @@ -0,0 +1 @@ +By default, scripts will be tangled to this directory (see `Documentation.org`).