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 /doc/ghc.mk | |
| parent | 727f24ccf6e3b367b4ff05777c64b7c9ca4debdb (diff) | |
Add Mergify configuration (#1496)
Diffstat (limited to 'doc/ghc.mk')
0 files changed, 0 insertions, 0 deletions