]> matita.cs.unibo.it Git - helm.git/commit
improved autoconfiguration (well, maybe)
authorLuca Padovani <luca.padovani@unito.it>
Wed, 17 Jan 2001 18:05:24 +0000 (18:05 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 17 Jan 2001 18:05:24 +0000 (18:05 +0000)
commit1f9b151666123cccfc5862bce309c271799948fc
treeb93dc827e7ab49f710e483026f5bfa047b772fdf
parent7795f00bdb9888a6e958e7794e67d6535e37fed9
improved autoconfiguration (well, maybe)
helm/interface/Makefile.in
helm/interface/cadet [deleted file]
helm/interface/configure.in
helm/interface/helm_gtk_interface-0.0.1-1.spec [deleted file]
helm/interface/helm_gtk_interface.spec.in [new file with mode: 0644]
helm/interface/servers.txt.example [deleted file]
helm/interface/t1.config [deleted file]