]> matita.cs.unibo.it Git - helm.git/tree - helm/helmpot/
Added $SVNOPTION.
[helm.git] / helm / helmpot /
drwxr-xr-x   ..
-rw-r--r-- 186 .cvsignore
-rw-r--r-- 42 AUTHORS
-rw-r--r-- 0 ChangeLog
-rw-r--r-- 987 LICENSE
-rw-r--r-- 399 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 410 README
-rw-r--r-- 1326 acconfig.h
-rw-r--r-- 1516 configure.in
drwxr-xr-x - debian
-rw-r--r-- 20465 guiGTK.c
-rw-r--r-- 1582 guiGTK.h
-rw-r--r-- 429 helmpot.spec.in
-rw-r--r-- 2984 main.c
-rw-r--r-- 296 pot_mask