aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Waern <david.waern@gmail.com>2012-09-07 14:29:27 +0200
committerDavid Waern <david.waern@gmail.com>2012-09-07 14:29:27 +0200
commit42422b76fd65dfd37ada0d4da5a85fdf30bf0fa2 (patch)
treebd73edd5703a92b57b40af0821e79aa6e2037f6f /.gitignore
parent81b9440ce14377c3be69fe01adf12471540676f1 (diff)
Follow changes in GHC.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions