diff options
| author | Julian Andres Klode <jak@debian.org> | 2016-08-29 15:07:39 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2016-08-29 15:07:39 +0200 |
| commit | f06a44591db7f78898bd4e8818ceab74cd98e1ac (patch) | |
| tree | d0e7ed20255c32d072b0031b95789d5cda688314 /debian/copyright | |
| parent | 06372c6a4f2bb8812f68c56788e96dc8fa69b3de (diff) | |
Add new symbols to symbols file
There are some optional symbols missing now, but let's keep
them in for now, maybe they reappear/still exist on other
platforms.
The newly added ones actually appeared in older versions
already, but there's no huge gain in finding out when precisely
we added them.
Diffstat (limited to 'debian/copyright')
0 files changed, 0 insertions, 0 deletions