diff options
| author | Théo Zimmermann | 2019-06-06 11:22:09 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-06-17 18:08:32 +0200 |
| commit | 2ec2affa73720746bef37e8b1f0ce98f257cb302 (patch) | |
| tree | 0701cd3726a9e5d198e8799914544027685605f8 /doc/common/styles/html | |
| parent | 1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6 (diff) | |
Clean-up CREDITS file.
Remove mentions of removed plugins.
Remove copyright years to avoid them going out of sync.
Fix explanation of the license of the documentation.
Diffstat (limited to 'doc/common/styles/html')
0 files changed, 0 insertions, 0 deletions