diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2019-09-12 23:19:39 +0200 |
|---|---|---|
| committer | Sylvain Henry <sylvain@haskus.fr> | 2019-09-12 23:19:39 +0200 |
| commit | 58933236f116a26a2827b0cb5c46947e4f056c77 (patch) | |
| tree | 9dfef4598d9cf222d37849c62cfe5e4c256c0e0a /doc/conf.py | |
| parent | 75f71980dfcd9a009e2eeb3a8690a473f47fcdfe (diff) | |
Fix for GHC module renaming
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions