5 Commits

Author	SHA1	Message	Date
Tobias Gödderz	e2c84acfaf	Use explicit default destructors where possible (#10166)	2019-10-04 15:58:30 +02:00
Dan Larkin-York	3d0246cb18	Decentralize includes (#9623)	2019-08-06 15:32:09 +02:00
Jan Christoph Uhde	c3f7961b88	apply unique log ids (#8561)	2019-03-25 20:26:51 +01:00
Frank Celler	ac9f375fb5	big reformat	2018-12-26 00:54:03 +01:00
Kaveh Vahedipour	28754cbf15	Feature/schmutz plus plus (#5972) ... - Schmutz now called "Maintenance" and completely implemented in C++ - Fix index locking bug in mmfiles - Fix a bug in mmfiles with silent option and repsert - Slightly increase supervision okperiod and graceperiod	2018-08-24 12:15:35 +02:00