aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorSimon Jakobi <simon.jakobi@gmail.com>2018-03-14 08:26:42 +0100
committerAlexander Biehl <alexbiehl@gmail.com>2018-03-14 08:26:42 +0100
commit0541448991cfaa26526283b8cc3d927c6a0c3db5 (patch)
tree1b0fb28a50974209ee90fd64c13f28bd43cae1c4 /doc/.gitignore
parent7b3f6f3a5230dab898a8a824f03636e27b84bfb1 (diff)
Readme: Update GHC version (#778)
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions