]> matita.cs.unibo.it Git - helm.git/tree
21503b2a65146827d09066f10bf4158821f073e1
-rw-r--r-- 8798 Makefile
drwxr-xr-x - alpha_1
drwxr-xr-x - apps_2
drwxr-xr-x - basic_1
drwxr-xr-x - basic_2
-rw-r--r-- 78 etc2ma.sh
drwxr-xr-x - ground_1
drwxr-xr-x - ground_2
drwxr-xr-x - legacy_1
-rw-r--r-- 77 ma2etc.sh
-rw-r--r-- 121 orig.sh
-rw-r--r-- 241 replace.sh
-rw-r--r-- 33 root