]> gitweb.factorcode.org Git - factor.git/commitdiff
Add file to work dir to ensure it gets checked in
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Fri, 12 Sep 2008 09:36:32 +0000 (04:36 -0500)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Fri, 12 Sep 2008 09:36:32 +0000 (04:36 -0500)
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.