diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-09-20 18:59:28 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-09-20 18:59:28 +1000 |
| commit | 73da91b91fa13dd85903f1675257c95614790950 (patch) | |
| tree | 101a2946de6c51f605b19baffeef92b9a7ee711b /docs/man.texi | |
| parent | 02c64187224455da6089bdacc544f47443c6ba91 (diff) | |
added some comments for various checks
Diffstat (limited to 'docs/man.texi')
0 files changed, 0 insertions, 0 deletions