summaryrefslogtreecommitdiff
path: root/tools/check-typo
Commit message (Expand)AuthorAgeFilesLines
* more small changesDamien Doligez2012-10-171-4/+2
* remove all $Id keywordsDamien Doligez2012-10-151-2/+2
* add possibility of ignoring a directoryDamien Doligez2012-10-151-2/+15
* small tweaksDamien Doligez2012-10-151-4/+4
* add check for $Id$; various fixesDamien Doligez2012-08-021-8/+15
* add detection of missing copyright headersDamien Doligez2012-08-011-5/+37
* Tool to check the OCaml sources for simple typographic rules (no TABs, etc)Damien Doligez2012-07-311-0/+176