projects / ocaml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f549212) | patch
Cope with installation of *.cmt and *.cmti files
authorStephane Glondu <steph@glondu.net>
Mon, 10 Aug 2015 13:54:24 +0000 (15:54 +0200)
committerStephane Glondu <steph@glondu.net>
Mon, 10 Aug 2015 14:15:27 +0000 (16:15 +0200)
commite2d34ac167e510b718aeb696b006718d36e8ae71
treed46b98d432a3b7965baa7439faa296dec9fce5c2tree | snapshot
parentf549212c75ff838c5140169501010849b560a179commit | diff
Cope with installation of *.cmt and *.cmti files
debian/gen_modules.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.