diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-09-27 09:40:03 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-09-27 09:40:03 +1000 |
| commit | 0d1566b2614aeedd33d18a19e93954aca1df4ea8 (patch) | |
| tree | 1a387192645d68b5dcff852e568b5600c6076488 /docs/man.texi | |
| parent | db0013b57cce91cd516e0d9ecfa6f758f3d14d03 (diff) | |
minor renaming
Diffstat (limited to 'docs/man.texi')
0 files changed, 0 insertions, 0 deletions