]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 224c453) | patch
fixed an escaping error, added more infos to the generic error, callback catches...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jul 2007 10:01:13 +0000 (10:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jul 2007 10:01:13 +0000 (10:01 +0000)
commitdd50d161ff273c1fb1f4eaca9a5b0eed54d4326d
treed5b1d1b8f36998847ee5624df31eb45ea416110dtree | snapshot
parent224c4530d80c2ea1f0e0dedf09cc132c6fab9a9dcommit | diff
fixed an escaping error, added more infos to the generic error, callback catches and prints exceptions
helm/software/components/hmysql/hSqlite3.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.