diff options
| author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-05 15:03:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-05 15:03:56 +0100 |
| commit | 17acefbc7f5a353c3b9ab3980944ce7141c5a7f3 (patch) | |
| tree | a167e8a62769fbf5c6f6bc3d15131499046bf8c9 /latex-test/src/NamespacedIdentifier/NamespacedIdentifier.hs | |
| parent | e88a63783fe716adbb96966c335f60009573dfc3 (diff) | |
| parent | fcf9a04224fed910d01cf6f4d9c2d1bdc7c085af (diff) | |
Merge pull request #1296 from Kleidukos/ghc-9.0
Merge the late additions to ghc-8.10 into ghc-9.0
Diffstat (limited to 'latex-test/src/NamespacedIdentifier/NamespacedIdentifier.hs')
0 files changed, 0 insertions, 0 deletions