bunnei 3219bdb30d
Merge pull request #4382 from FearlessTobi/reset-defaults
configure_general: Add an option to reset defaults
2018-10-28 03:52:10 -04:00
..
2018-07-03 21:14:00 +02:00
2018-08-16 10:40:52 +01:00
2018-10-20 10:35:55 -04:00