diff options
| author | Tobias Dammers <tdammers@gmail.com> | 2019-06-12 10:14:59 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-08-15 22:13:13 -0400 |
| commit | 8d076841cd5a22a43c9f19113a6fbed49de156f8 (patch) | |
| tree | 40f902701499f23d8592b97a46df5f18403eb01a /docs/users_guide/conf.py | |
| parent | 95837c0f573dfa22d93895d4d1ad85d6c8dcbea0 (diff) | |
| download | haskell-8d076841cd5a22a43c9f19113a6fbed49de156f8.tar.gz | |
Make add_info attach unfoldings (#16615)
Diffstat (limited to 'docs/users_guide/conf.py')
0 files changed, 0 insertions, 0 deletions