]> matita.cs.unibo.it Git - helm.git/commit
Initial revision
authorLuca Padovani <luca.padovani@unito.it>
Thu, 12 Apr 2001 11:19:14 +0000 (11:19 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 12 Apr 2001 11:19:14 +0000 (11:19 +0000)
commit724f1010cfb307ac6c1e9bd23a7e47384550714b
treedecbb3435cfd3984cf0fde22c21295138366de0b
parentb350ad8f231a18c445685a0d271d9d5ccbabb410
Initial revision
14 files changed:
helm/helmpot/.cvsignore [new file with mode: 0644]
helm/helmpot/AUTHORS [new file with mode: 0644]
helm/helmpot/ChangeLog [new file with mode: 0644]
helm/helmpot/LICENSE [new file with mode: 0644]
helm/helmpot/Makefile.am [new file with mode: 0644]
helm/helmpot/NEWS [new file with mode: 0644]
helm/helmpot/README [new file with mode: 0644]
helm/helmpot/acconfig.h [new file with mode: 0644]
helm/helmpot/configure.in [new file with mode: 0644]
helm/helmpot/guiGTK.c [new file with mode: 0644]
helm/helmpot/guiGTK.h [new file with mode: 0644]
helm/helmpot/helmpot.spec.in [new file with mode: 0644]
helm/helmpot/main.c [new file with mode: 0644]
helm/helmpot/pot_mask [new file with mode: 0644]