]> matita.cs.unibo.it Git - helm.git/tree - helm/configuration/
some improvements
[helm.git] / helm / configuration /
drwxr-xr-x   ..
-rw-r--r-- 69 .cvsignore
-rw-r--r-- 159 AUTHORS
-rw-r--r-- 17992 COPYING
-rw-r--r-- 32 ChangeLog
-rw-r--r-- 1176 Makefile.in
-rw-r--r-- 32 NEWS
-rw-r--r-- 378 README
-rw-r--r-- 831 config.cache.pkg
-rw-r--r-- 4825 configure.in
drwxr-xr-x - etc
-rw-r--r-- 1238 helm-config.in
-rw-r--r-- 1281 helm_configuration.spec.in
drwxr-xr-x - lib
drwxr-xr-x - library