diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-09-14 17:12:56 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-09-15 12:46:12 +1000 |
| commit | 52edd86b1d6db7d1fd0620080d244f84e80f1025 (patch) | |
| tree | 1bbeead6b067047ffb4950d51ca360995b147942 /html-test/src/ModuleWithWarning.hs | |
| parent | 4365659b5ccb1a1ed36cf89c9e93722764bcd777 (diff) | |
removed custom ids for packages and modules
they are not really used in links
Diffstat (limited to 'html-test/src/ModuleWithWarning.hs')
0 files changed, 0 insertions, 0 deletions