]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44834a1) | patch
Makefile.in that support some new architectures.
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 17 Oct 2001 13:02:20 +0000 (13:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 17 Oct 2001 13:02:20 +0000 (13:02 +0000)
commit0c3724fe58a01cce5317d7d50ab6fce8740b9b91
treeaa86568bc19c9eb6f19d372b0512536ce6d72b4btree | snapshot
parent44834a1b07dbe242a8379bd23b6d2e01f5c65a06commit | diff
Makefile.in that support some new architectures.
helm/DEVEL/mlminidom/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.