projects / aquarium / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4745795) | patch
fixed make-dist.sh
authorProdromos Gerakios <pgerakios@grnet.gr>
Wed, 18 Jul 2012 08:50:43 +0000 (11:50 +0300)
committerProdromos Gerakios <pgerakios@grnet.gr>
Wed, 18 Jul 2012 08:50:43 +0000 (11:50 +0300)
commit5156c447277f472fae4a2b4fade910cb55142527
treeecdb44a134d21b75d345ce7b6be58e5bb411357dtree | snapshot
parent47457955ff3fab1281168526475d8de356161fb6commit | diff
fixed make-dist.sh
make-dist.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.