diff options
author | Yuchen Pei <hi@ypei.me> | 2022-08-16 09:59:13 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 09:59:13 +1000 |
commit | ac6a9c71b8bbfc4c4086b3c091470f40ddee3d70 (patch) | |
tree | 31c107008bdf55288c949a9f849f0300b1999d1f /haddock-api/src/haddock.sh | |
parent | f08b39b6c5f8f5a8d181373cea45f858e2bd6473 (diff) |
removed some unused pragmas
Diffstat (limited to 'haddock-api/src/haddock.sh')
0 files changed, 0 insertions, 0 deletions