]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b7c169) | 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)
commitf79567e3b0abcb508c94b66d69d967c4df83082a
tree9b16877cb131937bfb94726c63eb0a61f45944b6tree | snapshot
parent8b7c1699bf9c2d461ae572aac0e5b0e16c1b3dc5commit | diff
fixed an escaping error, added more infos to the generic error, callback catches and prints exceptions
components/hmysql/hSqlite3.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.