diff --git a/common/README.org b/common/README.org deleted file mode 100644 index 3239e2f..0000000 --- a/common/README.org +++ /dev/null @@ -1,2 +0,0 @@ -*NB!* This subtree is subject to change. Please don't import from here directly -for now, unless you're OK that things might break at any point in time.