diff options
author | Jonas Schnelli <dev@jonasschnelli.ch> | 2016-03-14 09:24:32 +0100 |
---|---|---|
committer | Jonas Schnelli <dev@jonasschnelli.ch> | 2016-03-14 09:24:39 +0100 |
commit | b24266c20748b871dd39243bc1488ce1070ad331 (patch) | |
tree | df13463ad868245dfdc81576788b0af6c390c902 /depends/config.site.in | |
parent | 3798e5de334c3deb5f71302b782f6b8fbd5087f1 (diff) | |
parent | 21e45a097e154be6be4a503f2181896c5f761385 (diff) |
Merge #7668: Fix history deletion bug after font size change
21e45a0 Fix history deletion bug after font change (Andrew C)
Diffstat (limited to 'depends/config.site.in')
0 files changed, 0 insertions, 0 deletions