diff options
author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2022-06-06 11:59:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-06 11:59:35 +0200 |
commit | 3d43d273dd875d65cdf4146360de56974182bb1a (patch) | |
tree | 1ac1d7449deba8d4e9a95035f1286bb7ab8265b6 /latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs | |
parent | 727f24ccf6e3b367b4ff05777c64b7c9ca4debdb (diff) |
Add Mergify configuration (#1496)
Diffstat (limited to 'latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs')
0 files changed, 0 insertions, 0 deletions