Michael Friedrich 8a258de9bc Merge pull request #6734 from leeclemens/remove-redundant-indexes ... db ido: remove redundant mysql indexes		2019-04-29 09:13:22 +02:00
..
2.0.2.sql	Replace a few more copyright strings	2019-02-25 16:30:40 +01:00
2.1.0.sql	Replace a few more copyright strings	2019-02-25 16:30:40 +01:00
2.2.0.sql	Replace a few more copyright strings	2019-02-25 16:30:40 +01:00
2.3.0.sql	Replace a few more copyright strings	2019-02-25 16:30:40 +01:00
2.4.0.sql	Replace a few more copyright strings	2019-02-25 16:30:40 +01:00
2.5.0.sql	Replace a few more copyright strings	2019-02-25 16:30:40 +01:00
2.6.0.sql	Replace a few more copyright strings	2019-02-25 16:30:40 +01:00
2.8.0.sql	Replace a few more copyright strings	2019-02-25 16:30:40 +01:00
2.8.1.sql	Replace a few more copyright strings	2019-02-25 16:30:40 +01:00
2.11.0.sql	dbido: remove redundant mysql indexes	2018-10-26 18:32:21 -04:00