]> git.pld-linux.org Git - packages/mlkit.git/commit
projects / packages / mlkit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14c1da0) | patch
- pass proper optflags
authorfilon <filon@sokrates.mimuw.edu.pl>
Tue, 29 Oct 2002 17:56:40 +0000 (17:56 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
commit377895a93a68e7edd5ff6b440549d2c5a0a23113
tree1791a0704edaccd388f5829ddda06fd8776ec696tree | snapshot
parent14c1da045a082a78011edd67bcfc780ea141cefacommit | diff
- pass proper optflags

Changed files:
    mlkit-OPT.patch -> 1.1
mlkit-OPT.patch [new file with mode: 0644] blob
A Standard ML native compiler
This page took 0.080681 seconds and 4 git commands to generate.