diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-09-14 17:12:56 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-09-14 17:12:56 +1000 |
| commit | 64b2aeeee176979bb2ab02846a05e46662a27072 (patch) | |
| tree | 0a4dd21ff02a848b9b6be7c43c9523baedd44fcf /latex-test/src/Example/Example.hs | |
| parent | 715c1fb16b1b6685b1ac42b9620cb04825c975c2 (diff) | |
removed custom ids for packages and modules
they are not really used in links
Diffstat (limited to 'latex-test/src/Example/Example.hs')
0 files changed, 0 insertions, 0 deletions