]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95776c5) | patch
patched Makefile to link also ../gTopLevel/mQueryLevels.cm{o,x} which
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Nov 2002 13:59:11 +0000 (13:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Nov 2002 13:59:11 +0000 (13:59 +0000)
commite9fa9ed4a406a66a1955bfd7ec4e0f76cec15eb3
tree3cdf92278f0ae5b2661e4712722b740665c5bbe6tree | snapshot
parent95776c5fdf7a7609159450c8de92e71180cd90dbcommit | diff
patched Makefile to link also ../gTopLevel/mQueryLevels.cm{o,x} which
were splitted away from ../gTopLevel/mQueryGenerator.cm{o,x}
helm/searchEngine/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.