Jonas Schnelli b24266c207
Merge #7668: Fix history deletion bug after font size change
21e45a0 Fix history deletion bug after font change (Andrew C)
2016-03-14 09:24:39 +01:00
..
2015-12-13 18:08:39 +01:00
2015-12-30 12:23:07 -05:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2016-01-05 14:11:40 +01:00
2016-01-05 14:11:40 +01:00
2016-01-17 11:03:56 +00:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2016-01-05 14:11:40 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2016-01-05 21:01:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2016-01-05 14:11:40 +01:00
2015-07-31 09:35:18 +02:00
2015-07-31 09:35:18 +02:00
2016-01-18 10:41:32 +01:00
2015-12-13 18:08:39 +01:00
2016-01-05 14:11:40 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00
2015-12-13 18:08:39 +01:00