projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Add autoconf infrastructure, license, and macro files.
authorKim Nguyễn <kn@lri.fr>
Tue, 12 Jun 2012 16:37:20 +0000 (18:37 +0200)
committerKim Nguyễn <kn@lri.fr>
Tue, 12 Jun 2012 16:37:20 +0000 (18:37 +0200)
commit0cf8def92c8c6e708ec333b13dbe46decf554d81
tree4968405e234944811cba101154753a02a7cb87a2tree | snapshot
Add autoconf infrastructure, license, and macro files.
COPYING [new file with mode: 0644] blob
LICENSE [new file with mode: 0644] blob
Makefile.am [new file with mode: 0644] blob
autogen.sh [new file with mode: 0755] blob
configure.ac [new file with mode: 0644] blob
m4/ocaml.m4 [new file with mode: 0644] blob
Tree Automata TOOlkit