]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/Makefile
nothing special
[helm.git] / helm / software / components / Makefile
index 10c672526b6b7f8152ca9e7024d0ac2620781ade..f9897ec7943587aacc079e6206ac25a5801521b9 100644 (file)
@@ -24,8 +24,8 @@ MODULES =                     \
        metadata                \
        library                 \
        acic_content            \
-       grafite                 \
        ng_kernel               \
+       grafite                 \
        ng_cic_content          \
        content_pres            \
        cic_unification         \