aboutsummaryrefslogtreecommitdiff
path: root/devtools/sci
AgeCommit message (Expand)Author
2016-09-03JANITORIAL: Make GPL headers uniformEugene Sandulenko
2014-02-18DEVTOOLS: Make GPL headers consistent in themselves.Johannes Schickel
2011-11-27JANITORIAL: Remove extra semicolons.Christoph Mallon
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