diff options
author | Graham Higgins <gjhiggins@users.noreply.github.com> | 2023-03-23 17:49:52 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-23 18:49:52 +0100 |
commit | 1ab4fc0533d8042e06d7201d7d80d2f41cda83d7 (patch) | |
tree | 67336e83283ea7003ea24416b6fc3c108a272251 /.devcontainer.json | |
parent | dfa40545adc3e701bc36d2f8cc4dba1d81a906c4 (diff) | |
download | rdflib-1ab4fc0533d8042e06d7201d7d80d2f41cda83d7.tar.gz |
chore: Update CONTRIBUTORS from commit history (#2305)
This ensures contributors are credited. Also added .mailmap to fix early misattributed contributions.
Diffstat (limited to '.devcontainer.json')
0 files changed, 0 insertions, 0 deletions