]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ab0840) | patch
some fixes to cope with the new mowgli server architecture
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 17 Aug 2010 15:37:28 +0000 (15:37 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 17 Aug 2010 15:37:28 +0000 (15:37 +0000)
commita8ae2efbf7e09d6ddbb1eb9fd79cafa4e045ff9a
treeec63b821fb44c792319d1e09f2b118bb97b37139tree | snapshot
parent4ab08405286d0e1409893ee6477ac4686bacf103commit | diff
some fixes to cope with the new mowgli server architecture
helm/software/lambda-delta/Makefile diff | blob | history
helm/software/lambda-delta/Makefile.common diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.