]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 687d1d3) | patch
* create_mowgli_tables.mysql.sql added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Oct 2004 09:32:16 +0000 (09:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 14 Oct 2004 09:32:16 +0000 (09:32 +0000)
commitb7c3d2c30326b54f8126b578503acc4a53440936
tree156fc1393447d55a23dc119f8382e15634e8f13atree | snapshot
parent687d1d3676afa3f936c22855f9510b78d702ec4ccommit | diff
* create_mowgli_tables.mysql.sql added
* fill_inconcl_aux.sql added (what does it do? Ask Andrea or Selmi)
helm/metadata/sql/create_mowgli_tables.mysql.sql [new file with mode: 0644] blob
helm/metadata/sql/fill_inconcl_aux.sql [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.