]> matita.cs.unibo.it Git - helm.git/commit
porting to gdome2 started
authorLuca Padovani <luca.padovani@unito.it>
Tue, 5 Feb 2002 02:44:56 +0000 (02:44 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 5 Feb 2002 02:44:56 +0000 (02:44 +0000)
commit0ce4d0222fad1263912eed150ffa2f3a2581ee1b
treeb4f9c56f25ed71361b82c5bc8b90aed6b08b736c
parentd88218090d8607c08455ad3f1791441c7b09f49a
porting to gdome2 started
helm/helmpot/Makefile.am
helm/helmpot/configure.in
helm/helmpot/guiGTK.c
helm/helmpot/main.c