summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-18 15:01:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-18 15:01:01 -0400
commit4bf39f1d330d41b33ccdaac9c037dd8737f05975 (patch)
tree5b5684772c1900bd56d9e2e4ad4c46a677f16345
parentd24d8991f38e24c2f65c3bb0fb589778a5abfaf1 (diff)
Force existence of bin and clib directories
-rw-r--r--bin/.dir0
-rw-r--r--clib/.dir0
2 files changed, 0 insertions, 0 deletions
diff --git a/bin/.dir b/bin/.dir
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/bin/.dir
diff --git a/clib/.dir b/clib/.dir
new file mode 100644
index 00000000..e69de29b
--- /dev/null
+++ b/clib/.dir