]> gitweb.factorcode.org Git - factor.git/commitdiff
help.search: fix summary file name.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 18 Nov 2013 04:21:35 +0000 (20:21 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 18 Nov 2013 04:21:35 +0000 (20:21 -0800)
basis/help/search/summary [deleted file]
basis/help/search/summary.txt [new file with mode: 0644]

diff --git a/basis/help/search/summary b/basis/help/search/summary
deleted file mode 100644 (file)
index 04be82b..0000000
+++ /dev/null
@@ -1 +0,0 @@
-Search within help articles
diff --git a/basis/help/search/summary.txt b/basis/help/search/summary.txt
new file mode 100644 (file)
index 0000000..04be82b
--- /dev/null
@@ -0,0 +1 @@
+Search within help articles