No need for a readme saying that we can change the directory name.

diff --git a/include/rumprun-base/README.txt b/include/rumprun-base/README.txt
deleted file mode 100644 (file)
index 73bee27..0000000
--- a/include/rumprun-base/README.txt
+++ /dev/null
@@ -1,4 +0,0 @@
-the name of this directory is suspect.
-
-it is only for internal consumption and may change when the lords
-of nomenclature bless us with a more pleasing term.