diff options
| author | Julian Andres Klode <jak@debian.org> | 2017-09-09 21:52:25 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2017-09-09 21:52:25 +0200 |
| commit | a670cee0e0f4faba0d31919d9fa4f9c25b7d5867 (patch) | |
| tree | 8a4fda5f8c59c8ed3a3e7f848ba676607e04858f /doc/examples/preferences | |
| parent | 96b4580561cd2a8d1467143d67d2a612f0ddc75a (diff) | |
Release 1.5~rc21.5_rc2
Diffstat (limited to 'doc/examples/preferences')
0 files changed, 0 insertions, 0 deletions