Michael Insel 6eccdff621 Change a bunch more copyright headers for 2018 ... This changes more copyright headers for 2018.		2018-01-08 18:05:12 +01:00
..
upgrade	ido: Drop unused instance_id indices from comments, downtimes and their related history tables	2017-11-07 16:37:12 +01:00
mysql.sql	Change a bunch more copyright headers for 2018	2018-01-08 18:05:12 +01:00