diff options
author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-05 19:16:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-05 19:16:49 +0100 |
commit | a2f9f297d17059b3fc68ce4a245702278a5d8340 (patch) | |
tree | eab4aed89061f14c02aad12bfa8e9d2c422b929b /html-test/src/NamespacedIdentifiers.hs | |
parent | 66035bc2e0f6ba66efc22d048208affd8aef33c4 (diff) | |
parent | 483642b53b49c622a3f94cc05235c7a618d2e7d7 (diff) |
Merge pull request #1313 from Kleidukos/amend-contributing
Amend the CONTRIBUTING.md file
Diffstat (limited to 'html-test/src/NamespacedIdentifiers.hs')
0 files changed, 0 insertions, 0 deletions