projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 398d3e0) | patch
Change the path to the root directory before attempting to open
authorKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 11:33:07 +0000 (12:33 +0100)
committerKim Nguyễn <kn@lri.fr>
Sun, 10 Mar 2013 11:33:07 +0000 (12:33 +0100)
commit38cbd62f27eb7e1f461bc764cc89366557ec0124
treea1639ed25492339c60b0e925491e7ed6b04084dbtree | snapshot
parent398d3e07fa7a472395fa125f504c11629ec601adcommit | diff
Change the path to the root directory before attempting to open
any file in the build script
build diff | blob | history
Tree Automata TOOlkit