projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40be10d) | patch
Make the main target more generic, to allow compilation of
authorKim Nguyễn <kn@lri.fr>
Wed, 17 Apr 2013 06:48:53 +0000 (08:48 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 17 Apr 2013 06:48:53 +0000 (08:48 +0200)
commit0ef88e3bb1cc9fea830978723813dd8d23837039
tree67270ff6aa8082a4ffa45d009014de9593a79044tree | snapshot
parent40be10d6895c7ec90dfe74933d57d3685cd30e18commit | diff
Make the main target more generic, to allow compilation of
tools/*.native too, instead of only src/*.native.
Remakefile.in diff | blob | history
Tree Automata TOOlkit