]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/scripts/README
removed mysql_escape that should be ok.... but adds some \ that make mysql
[helm.git] / helm / software / matita / scripts / README
index d48449056c4262fa978c8777a15024a2e2fbca5d..831fbbd9035868f603ad294127b4bde8d157ac64 100644 (file)
@@ -12,9 +12,6 @@ do_tests.sh
   script used by ../Makefile to run matitac[.opt] on some tests. supports some
   options and prints out some informations neded my insert
 
-insert.awk  
-  creates the SQL INSERT statements for the output of profile_cvs.sh
-
 profile_svn.sh
   SVN co, compilation, run