diff options
author | Yuchen Pei <hi@ypei.me> | 2022-08-16 09:59:13 +1000 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 14:06:43 +1000 |
commit | 30517b24ca6b4019c3301f06837325615faac8af (patch) | |
tree | 0eb3f9a2e432ff4113ce4c99560ab44e6d029eed /hoogle-test/ref/Bug825/test.txt | |
parent | 679feca3756129aed29ac992013d5a5a081f0391 (diff) |
removed some unused pragmas
Diffstat (limited to 'hoogle-test/ref/Bug825/test.txt')
0 files changed, 0 insertions, 0 deletions