From 8b79eeeff2485a11658c5de0f644ed7fefbf9fff Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Fri, 12 Sep 2008 04:36:32 -0500 Subject: [PATCH] Add file to work dir to ensure it gets checked in --- 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