diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-03-24 15:15:46 +0100 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-03-24 15:16:00 +0100 |
| commit | 77c35637ea85a065da3bcf57a4a8921cf2ad04f0 (patch) | |
| tree | 09b1e4295a5d88822a65d0f0a5f73aee83731fd0 /doc/design.dbk | |
| parent | 5359675e6c7684bd4153adaf3cc0f59442cdc291 (diff) | |
Update symbols file
Diffstat (limited to 'doc/design.dbk')
0 files changed, 0 insertions, 0 deletions