]> matita.cs.unibo.it Git - helm.git/commit
fixed modules order
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 11:40:49 +0000 (11:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 11:40:49 +0000 (11:40 +0000)
commit81d304b7fa0eb64d27478e88bb2af60a0d460aa8
treee4ae430719bba4a7f106f1ff11010b93e5c58c4c
parent347b0f483245bd0295f95f99742e23484c331312
fixed modules order
helm/software/components/cic/Makefile