diff --git a/work/README.txt b/work/README.txt deleted file mode 100644 index fd1af07408..0000000000 --- a/work/README.txt +++ /dev/null @@ -1 +0,0 @@ -The 'work' directory is for your own personal vocabularies.