summaryrefslogtreecommitdiff
path: root/tools/profiling.mli
Commit message (Expand)AuthorAgeFilesLines
* Remove uses of ;; from the codebaseSébastien Hinderer2022-02-251-2/+2
* Update headers for the new license.Damien Doligez2016-02-181-13/+15
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-2/+2
* fusion des changements jusqu'a 3.08.3Damien Doligez2005-03-241-1/+2
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Commentaires: Caml [Special] Light -> Objective CamlDamien Doligez1997-06-201-1/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Le module Profiling a ete sorti de la lib standard et mis ici.Xavier Leroy1995-11-131-0/+17