]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff24441) | patch
Few modifications required each time to make interface compile on a new
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Dec 2000 12:02:32 +0000 (12:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 13 Dec 2000 12:02:32 +0000 (12:02 +0000)
commit907a328069369c4d3e3e02ba2ff6d70dd0406b03
treeb832e721f78355db5adbfbb087ff6dbf567b2532tree | snapshot
parentff24441cf5f5aaa9efb67d8bbc71b2e504a960d2commit | diff
Few modifications required each time to make interface compile on a new
machine.
helm/interface/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.