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 /doc/Makefile | |
| parent | 679feca3756129aed29ac992013d5a5a081f0391 (diff) | |
removed some unused pragmas
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions