]> matita.cs.unibo.it Git - helm.git/commit
added some hacks for the debian package
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:05:15 +0000 (14:05 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:05:15 +0000 (14:05 +0000)
commitb3ee59e07da8da351e49da955a1619a14d90d058
tree6ed34943d841b21d53d61237729433eba13244b3
parent9eadb65114df8bda7ca5988a99bb277a96a8ed1e
added some hacks for the debian package
helm/software/components/hmysql/hSqlite3.ml