diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-02-17 21:20:47 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-02-17 21:20:47 +0100 |
| commit | ce67e1eb80a1c7a76b68cee6fe1dcb85509cb4ae (patch) | |
| tree | 346935136602f701848216224635ef5835dfde0b | |
| parent | 21c6b40156db5a505215d4ce57fcab0ff6691300 (diff) | |
| download | deployment-ce67e1eb80a1c7a76b68cee6fe1dcb85509cb4ae.tar.gz deployment-ce67e1eb80a1c7a76b68cee6fe1dcb85509cb4ae.tar.bz2 deployment-ce67e1eb80a1c7a76b68cee6fe1dcb85509cb4ae.zip | |
doc
| -rw-r--r-- | historic/README | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/historic/README b/historic/README new file mode 100644 index 0000000..9ffc7a8 --- /dev/null +++ b/historic/README @@ -0,0 +1,2 @@ +This directory contains files that are currently +unmaintained, but might be useful in the future. |