]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfbcef4) | patch
small fix to make it compile again
authornotin <??>
Tue, 20 Feb 2007 14:45:11 +0000 (14:45 +0000)
committernotin <??>
Tue, 20 Feb 2007 14:45:11 +0000 (14:45 +0000)
commitd87d7f2035e02a4740b8b8147da634884cf0a5a2
treeb7c07c2e4999f6bdc87aaf62b47f561bcc9d7eb9tree | snapshot
parentcfbcef4637ff26ac4dfefe41bf2df29222e80138commit | diff
small fix to make it compile again
daemons/whelp/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.