diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-08-16 09:59:13 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 13:54:50 +1000 |
| commit | e5bfddc32ab28675c20014e4f7c3878258317752 (patch) | |
| tree | 7425176366e0677c1e657dc7640570f31ca60a88 /hoogle-test/run | |
| parent | d8acc4f8082708c49f81e12dae0e20dbf3ecc1b0 (diff) | |
removed some unused pragmas
Diffstat (limited to 'hoogle-test/run')
0 files changed, 0 insertions, 0 deletions