]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/web/home/apps_2_src.tbl
- milestone update in basic_2
[helm.git] / helm / www / lambda_delta / web / home / apps_2_src.tbl
index df8a5602a0d438ee64e0b603aaeda339a6d63920..d5508e3d6ca731b3bc02c96ed60a1790dbb51f52 100644 (file)
@@ -1,4 +1,4 @@
-name "ld_apps_2_src"
+name "apps_2_src"
 
 table {
    class "grey"