diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-19 13:06:22 +0200 |
|---|---|---|
| committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-22 23:40:28 +0200 |
| commit | 1b758285744eb1b7a34bc63a131738c28f0e089a (patch) | |
| tree | 4acc8a5915afc796a0e87a755323cf12d26a2e5a /doc/ghc.mk | |
| parent | cf22686d11bf9923926f3380793e64d2ff4141fc (diff) | |
Fix warning about no longer needed definition.
Diffstat (limited to 'doc/ghc.mk')
0 files changed, 0 insertions, 0 deletions