]> gitweb.factorcode.org Git - factor.git/commit
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)
commitc85f3790e1bd2adece526144805de5a08876bd51
tree25dd266be2fa017474d02afb9586b7809bc8b36e
parentcbbae71710311faa273e6a9d22a56a8037f6ee4c
help.search: fix summary file name.
basis/help/search/summary [deleted file]
basis/help/search/summary.txt [new file with mode: 0644]