Marc Di Luzio 5ebc77a0f1 Add defaultgov and desiredgov config settings
Allows users to choose which governor settings they want.

	Should provide some future compatibility for other governor settings.
2018-05-15 17:04:31 +01:00
..
2018-05-11 14:53:30 +01:00
2018-04-16 17:21:35 +01:00
2018-03-05 17:32:01 +00:00