schema.sql: drop unused index
authorHelmut Grohne <helmut@subdivi.de>
Wed, 10 Jul 2013 13:23:15 +0000 (15:23 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Wed, 10 Jul 2013 13:23:15 +0000 (15:23 +0200)
commitada4f94466bf3eddc192cf22c8ecefc9cd5f0ea3
tree0413aba3a8e7ca1d7f4ffb01ba4b88428d7c2fd6
parente85fb930e71f27a1a399273b433ba67d0eb6d3c5
schema.sql: drop unused index

sharing_package_index is a sub-index of sharing_insert_index and
therefore unnecessary.
schema.sql