]> matita.cs.unibo.it Git - helm.git/commit
ANALYZE TABLE ==> OPTIMIZE TABLE
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jul 2005 14:37:19 +0000 (14:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 18 Jul 2005 14:37:19 +0000 (14:37 +0000)
commit7033b0a141f65fd75b435a6f71325ca67f19db61
tree33b43a700530cc3976d0d63139d25f0e74ea259b
parent7dbab245dee64ceb23e3f07a661101d6b78ed96a
ANALYZE TABLE ==> OPTIMIZE TABLE
helm/ocaml/metadata/metadataDb.ml