summaryrefslogtreecommitdiff
path: root/tools/scrapelabels.ml
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* clean up spaces and tabsDamien Doligez2010-01-221-1/+1
* scrapelabels knows MoreLabelsJacques Garrigue2001-10-041-12/+67
* add objects, structures and signaturesJacques Garrigue2001-10-031-5/+9
* typoJacques Garrigue2001-10-031-1/+1
* uniformize ui + process implementations with scrapelabelsJacques Garrigue2001-10-031-21/+140
* passage aux labels strictsJacques Garrigue2001-09-061-0/+111