]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 281b71a) | patch
- addead autoconf-iguration. Actually it only set the default runtime
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 08:43:20 +0000 (08:43 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 08:43:20 +0000 (08:43 +0000)
commit000234a18dd37e780907043e0d7405029078b0a7
tree17cf101d0b8c45f0dac9c2172a00a870492de715tree | snapshot
parent281b71a8467b8643386a07211f18864b2b71bdeccommit | diff
- addead autoconf-iguration. Actually it only set the default runtime
  configuration file
helm/http_getter/.cvsignore diff | blob | history
helm/http_getter/Makefile diff | blob | history
helm/http_getter/buildTimeOpts.ml.in [new file with mode: 0644] blob
helm/http_getter/configure.ac [new file with mode: 0644] blob
helm/http_getter/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.