projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a783c2) | patch
Force compilation with -w @A-4 (all warnings but warning number 4
authorKim Nguyễn <kn@lri.fr>
Tue, 5 Mar 2013 00:34:11 +0000 (01:34 +0100)
committerKim Nguyễn <kn@lri.fr>
Tue, 5 Mar 2013 00:34:11 +0000 (01:34 +0100)
commitf749a3e33d759fddef63a69e54ff1336411d5e16
tree9e9a1562e9a892da56133f16bf6fd217fd991eb8tree | snapshot
parent0a783c201ad605afff85e27ba50c66a109355d4acommit | diff
Force compilation with -w @A-4 (all warnings but warning number 4
turned into errors. Warning 4 is 'Fragile pattern-matching').
_tags diff | blob | history
myocamlbuild.ml diff | blob | history
Tree Automata TOOlkit