]> matita.cs.unibo.it Git - helm.git/commit
fix typo
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 15:13:52 +0000 (15:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 15:13:52 +0000 (15:13 +0000)
commit36d84ee0f884c2a4efb77fccf052fba1d5843528
treea97746fc12469880f280b96aafcb0ef6b6e3a21b
parenteca38da92cd16d00e2e25477650c91eee6965b9f
fix typo
helm/software/components/hmysql/hSqlite3.ml