diff options
author | Julian Andres Klode <jak@debian.org> | 2017-07-04 17:12:29 +0200 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2017-07-04 17:30:24 +0200 |
commit | 669b4f95dab896f2be5c6fe06a117459c705fb16 (patch) | |
tree | 6a73f6c45cac70243cfbbe750aa01fd35bfed444 /doc/examples/preferences | |
parent | 28c8b7c6e60738fa2c46a3a6fc8fa33d74a87c36 (diff) |
Release 1.4.7
Diffstat (limited to 'doc/examples/preferences')
0 files changed, 0 insertions, 0 deletions