From: Slava Pestov <slava@slava-pestovs-macbook-pro.local>
Date: Thu, 10 Jul 2008 18:11:43 +0000 (-0500)
Subject: Rename incorrectly named file
X-Git-Tag: 0.94~2706^2~91
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=56d3031b412c967bd960ac27aa1c344f720e74d7

Rename incorrectly named file
---

diff --git a/extra/backtrack/description.txt b/extra/backtrack/description.txt
deleted file mode 100755
index d2d3918a98..0000000000
--- 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
index 0000000000..d2d3918a98
--- /dev/null
+++ b/extra/backtrack/summary.txt
@@ -0,0 +1 @@
+Simple non-determinism
\ No newline at end of file