diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-09-14 17:12:56 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-09-14 18:54:30 +1000 |
| commit | bcf7e7e7fd7ef236a88ad1dcad6692a340e34687 (patch) | |
| tree | 38d4b6b79d2ba8cbf42d01c7451e5185d2e33ebc /html-test/src/Bug2.hs | |
| parent | a0691d9b7c2d9eab53f2dc38d2d9a45be94ed77f (diff) | |
removed custom ids for packages and modules
they are not really used in links
Diffstat (limited to 'html-test/src/Bug2.hs')
0 files changed, 0 insertions, 0 deletions