From 5bbaa006b8576c74f753f4b6995095c38be9acf6 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Thu, 6 Nov 2008 01:58:00 -0600 Subject: [PATCH] roll back accidental deletion --- work/README.txt | 1 + 1 file changed, 1 insertion(+) create mode 100644 work/README.txt diff --git a/work/README.txt b/work/README.txt new file mode 100644 index 0000000000..fd1af07408 --- /dev/null +++ b/work/README.txt @@ -0,0 +1 @@ +The 'work' directory is for your own personal vocabularies. -- 2.34.1