]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc9c722) | patch
the cade was escaping the table name and not the uri
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jul 2007 10:02:11 +0000 (10:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jul 2007 10:02:11 +0000 (10:02 +0000)
commit51e73d704c8397356644af767ae936e4b3a82dbe
tree8114b7ba5d9e91070341be6afab78e4ecb6aa087tree | snapshot
parentdc9c722d837c1342798920762b2d0015b71b051fcommit | diff
the cade was escaping the table name and not the uri
components/metadata/sqlStatements.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.