]> matita.cs.unibo.it Git - helm.git/commit
fixed modules order
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Apr 2009 10:46:26 +0000 (10:46 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 9 Apr 2009 10:46:26 +0000 (10:46 +0000)
commit6257568fc15a2f69c356a3e2d367a79143ed893b
tree895a28481adc67cd95b54205b34511c1ad7a9b72
parentdf9b1c00777e4ff1c73b467624bbc3117c1bb0a3
fixed modules order
helm/software/components/Makefile