aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-11-15 13:48:13 -0800
committerGitHub <noreply@github.com>2018-11-15 13:48:13 -0800
commit0b379984f7898ab0656f71f05fb0163a6a2ddb2c (patch)
treec3cb0470898f44d66797f1ce3868d56d4aa639bb /.gitignore
parent88c17946c9dfba6736e56660f566d21bebefa7c9 (diff)
parent936229572252c8c8545c89fcefd267e89005b8b0 (diff)
Merge pull request #970 from alpmestan/alp/fix-promotionflag
Follow GHC HEAD's HsTypes.Promoted -> BasicTypes.PromotionFlag change
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions