diff options
author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-05 17:58:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-05 17:58:16 +0100 |
commit | 66035bc2e0f6ba66efc22d048208affd8aef33c4 (patch) | |
tree | fd42833bd9c74ce6e4730c9062e7742733fe653f /latex-test/src/NamespacedIdentifier/NamespacedIdentifier.hs | |
parent | 2b2bf07fb10da33ca2edf060a6049ad7dc7b7b4c (diff) | |
parent | d843746143a4c31242c08d7e6071ecaf7e8e5970 (diff) |
Merge pull request #1312 from Kleidukos/proper-branch-etiquette
Add a CONTRIBUTING.md file
Diffstat (limited to 'latex-test/src/NamespacedIdentifier/NamespacedIdentifier.hs')
0 files changed, 0 insertions, 0 deletions