]> matita.cs.unibo.it Git - helm.git/commit - helm/interface/configure.in
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7795f00) | patch
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
treeb93dc827e7ab49f710e483026f5bfa047b772fdftree | snapshot
parent7795f00bdb9888a6e958e7794e67d6535e37fed9commit | diff
improved autoconfiguration (well, maybe)
helm/interface/Makefile.in diff | blob | history
helm/interface/cadet [deleted file] blob | history
helm/interface/configure.in diff | blob | history
helm/interface/helm_gtk_interface-0.0.1-1.spec [deleted file] blob | history
helm/interface/helm_gtk_interface.spec.in [new file with mode: 0644] blob
helm/interface/servers.txt.example [deleted file] blob | history
helm/interface/t1.config [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.