Thomas Martitz 9b458b9fd5 document: Revert 6f5d5db and d6d4728
Now that there is a proper user indication for the "maintain history on
reload" feature we can toggle it on by default. The setting is also renamed
so that the default is effective for everyone (this was the plan).
2015-10-30 15:30:14 +01:00
..
2013-03-10 15:10:15 +01:00
2015-07-12 17:05:45 +02:00
2015-10-30 15:30:14 +01:00
2015-07-13 00:47:18 +02:00
2010-09-22 16:33:38 +00:00
2010-09-22 16:33:38 +00:00