]> gitweb.factorcode.org Git - factor.git/commitdiff
roll back accidental deletion
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 6 Nov 2008 07:58:00 +0000 (01:58 -0600)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 6 Nov 2008 07:58:00 +0000 (01:58 -0600)
work/README.txt [new file with mode: 0644]

diff --git a/work/README.txt b/work/README.txt
new file mode 100644 (file)
index 0000000..fd1af07
--- /dev/null
@@ -0,0 +1 @@
+The 'work' directory is for your own personal vocabularies.