Add undocumented default user default settings.
authorRoger Braun <roger@rogerbraun.net>
Sat, 16 Sep 2017 09:52:33 +0000 (11:52 +0200)
committerRoger Braun <roger@rogerbraun.net>
Sat, 16 Sep 2017 09:52:33 +0000 (11:52 +0200)

No differences found