tidying
authorJeremy Harris <jgh146exb@wizmail.org>
Mon, 7 May 2018 13:42:35 +0000 (14:42 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Mon, 7 May 2018 13:42:35 +0000 (14:42 +0100)
commit0488984dcd596341bdeacee57fa1ba2940d6a951
tree137c070eb474eab73e10c03f58a24da637210a6c
parentcfbb0d24e87427488fec0315366c27cdff1fcc20
tidying
doc/doc-txt/ChangeLog
src/src/search.c
src/src/string.c