aboutsummaryrefslogtreecommitdiff
path: root/devtools/skycpt/KmpSearch.h
AgeCommit message (Collapse)Author
2014-02-18DEVTOOLS: Make GPL headers consistent in themselves.Johannes Schickel
2011-08-07JANITORIAL: Remove trailing empty lines.Christoph Mallon
2011-05-12GIT: Clean up: Suppress SVN tags, now uselessstrangerke
2011-04-09DEVTOOLS: Renamed 'tools' directory to 'devtools'Max Horn