diff options
| author | Alex Biehl <alexbiehl@gmail.com> | 2017-03-23 17:36:11 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-23 17:36:11 +0100 |
| commit | 407508c7b2499e5f917a8a7bab6bbc7f9369ad4c (patch) | |
| tree | 811ef91f7c2eea9dc298930f49d3ac4ecc7fac5a /.gitignore | |
| parent | 4f249c9b64d50d79e7ba703289cd67293a76821a (diff) | |
| parent | ef99ed85007636a866fbdeed154d89612d68f824 (diff) | |
Merge pull request #581 from JustusAdam/master
Adding more exports to Documentation.Haddock
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions