projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40722c3) | patch
Allow one to pass several targets to the build script.
authorKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 20:49:55 +0000 (21:49 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 20:49:55 +0000 (21:49 +0100)
commiteb43a243ba418e6023de2fc76b129542a5a49aff
treec69b7c202921bb7cb5e9edacffbbcd15a50ad680tree | snapshot
parent40722c35d4e9bf1a7a6cbe429898c3b97d66a335commit | diff
Allow one to pass several targets to the build script.
build diff | blob | history
Tree Automata TOOlkit