]> gitweb.factorcode.org Git - factor.git/commitdiff
projects / factor.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9e50408)
Rename incorrectly named file
authorSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 10 Jul 2008 18:11:43 +0000 (13:11 -0500)
committerSlava Pestov <slava@slava-pestovs-macbook-pro.local>
Thu, 10 Jul 2008 18:11:43 +0000 (13:11 -0500)
extra/backtrack/description.txt [deleted file] patch | blob | history
extra/backtrack/summary.txt [new file with mode: 0755] patch | blob

diff --git a/extra/backtrack/description.txt b/extra/backtrack/description.txt
deleted file mode 100755 (executable)
index d2d3918..0000000
--- a/extra/backtrack/description.txt
+++ /dev/null
@@ -1 +0,0 @@
-Simple non-determinism
\ No newline at end of file
diff --git a/extra/backtrack/summary.txt b/extra/backtrack/summary.txt
new file mode 100755 (executable)
index 0000000..d2d3918
--- /dev/null
+++ b/extra/backtrack/summary.txt
@@ -0,0 +1 @@
+Simple non-determinism
\ No newline at end of file
Factor programming language