X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual%2Fsec_commands.html;fp=helm%2Fwww%2Fmatita%2Fdocs%2Fmanual%2Fsec_commands.html;h=0000000000000000000000000000000000000000;hb=223f17d088cd8bf01f9314580fc34e66256841ac;hp=786d496b38baddfc36c8f0de7c66a97a83f9f5c1;hpb=18ca6cec5a82241cc389bbf82742565e79d81ed8;p=helm.git
diff --git a/helm/www/matita/docs/manual/sec_commands.html b/helm/www/matita/docs/manual/sec_commands.html
deleted file mode 100644
index 786d496b3..000000000
--- a/helm/www/matita/docs/manual/sec_commands.html
+++ /dev/null
@@ -1,5 +0,0 @@
-
-
-Chapter 8. Other commands
Matita HomeChapter 8. Other commands