]> matita.cs.unibo.it Git - helm.git/commit
urgent partial commit ... to be fixed later ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Apr 2012 13:50:40 +0000 (13:50 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 10 Apr 2012 13:50:40 +0000 (13:50 +0000)
commitb0bce111aa8d2b50d07151fe54e45e564874d727
treed6f7c364e182e93562d8c832ae8f1ea29ca2932e
parent6ebf3e5a09012b3349c6020fe692c3b22020684a
urgent partial commit ... to be fixed later ...
helm/www/lambda_delta/web/home/basic_2_src.tbl