diff options
| author | Théo Zimmermann | 2019-10-09 10:39:04 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-09 10:39:04 +0200 |
| commit | 220308dc6deb82314a1fe4e5ed5e87e2167533a0 (patch) | |
| tree | 02e6eee04ba427d0842b9817193cd1dc7b2b1404 /dev/bugzilla2github_stripped.csv | |
| parent | 1289ab84c76416630ff645daf92682800e96d88b (diff) | |
A few fixes to the CREDITS file.
Move to the right alphabetical ordering, fix dates, institutions.
Also add Jim, but not all the other missing people because I
officially renounce to keeping this file up-to-date.
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions