]> matita.cs.unibo.it Git - helm.git/commit
bugfix in remote update
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Sep 2011 19:57:26 +0000 (19:57 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Sep 2011 19:57:26 +0000 (19:57 +0000)
commitfca65d71d40cce00c0ac601e8c1626ba085c26e2
tree2bec841151fead1787328f0b6de59c1844ecfb4f
parent12abb89e694fcd6eb012efea22e6e58495a0f927
bugfix in remote update
helm/www/lambda_delta/Makefile