]> matita.cs.unibo.it Git - helm.git/commit
renaming completed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 15 Mar 2012 19:03:49 +0000 (19:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 15 Mar 2012 19:03:49 +0000 (19:03 +0000)
commit70e6a24c9505c950714f138506f3eedb293084c5
tree9b54ad04b19b75a0c38148d3a6140e1586f04189
parentae7427e8d3c57ccc77931e27913d8605d385cbda
renaming completed
helm/www/lambda_delta/apps_2.html
helm/www/lambda_delta/basic_2.html
helm/www/lambda_delta/web/home/apps_2_src.tbl
helm/www/lambda_delta/web/home/basic_2_blk.tbl
helm/www/lambda_delta/web/home/basic_2_src.tbl