projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 287765c) | patch
Add a distclean target that removes every file generated by the
authorKim Nguyễn <kn@lri.fr>
Wed, 17 Apr 2013 06:18:44 +0000 (08:18 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 17 Apr 2013 06:18:44 +0000 (08:18 +0200)
commit40be10d6895c7ec90dfe74933d57d3685cd30e18
tree2956be0d96ed46182b2ba8a96950df37cb103314tree | snapshot
parent287765c0b124a320881660601e638c20158a8ef6commit | diff
Add a distclean target that removes every file generated by the
configure/remake scripts.
Remakefile.in diff | blob | history
Tree Automata TOOlkit