- drop obsolete files
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Sun, 5 Jul 2009 17:15:55 +0000 (17:15 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit89a33360f14bdcd211a478adc5feab85ca10a373
treee524af2dfcbbced4ed9266b0a677204c427fb5ef
parentadfec888e334e23194a8aae0b57508ec6829c98b
- drop obsolete files

Changed files:
    coq-ocaml-3.09.patch -> 1.2
coq-ocaml-3.09.patch [deleted file]
This page took 0.028891 seconds and 4 git commands to generate.