]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf22c84) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 8 Mar 2002 16:40:51 +0000 (16:40 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 8 Mar 2002 16:40:51 +0000 (16:40 +0000)
commitc1776b2d8e6d965d6e20fa1420efe2bc4fa9d596
treedea59e19c69906f92e5c2592b395917b366f58f8tree | snapshot
parentcf22c84452d5769b49529845bfbf8b6c6ab30e46commit | diff
Modified Files:
1) sites/dfki.xml sites/nijmegen.xml: errors fixed
helm/mowgli/home/xml/sites/dfki.xml diff | blob | history
helm/mowgli/home/xml/sites/nijmegen.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.