summaryrefslogtreecommitdiff
path: root/tools/primreq.ml
Commit message (Expand)AuthorAgeFilesLines
* Just some tbl things. (#1699)Gabriel Radanne2018-07-231-7/+6
* Added responsefile support for various tools.Bernhard Schommer2016-10-121-2/+8
* tools/primreq: Fix build bustage due to string vs bytes (Demi Obenour)Demi Obenour2016-05-021-2/+1
* 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
* Use open Cmo_format instead of open Emitcode for objinfo and primreq toolsNicolas Pouillard2006-07-051-1/+1
* suppression Printexc.catchDamien Doligez2005-06-221-2/+2
* Adaptation au nouveau format de .cma, suiteXavier Leroy2000-03-271-2/+2
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout de primreqXavier Leroy1999-03-141-0/+89