diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-09-21 10:34:11 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-09-21 10:37:16 +1000 |
| commit | 363c54a3de08b4c0a4cb62aec51db005dd85a322 (patch) | |
| tree | e5e1a75ed4a77abb8a007a638bf45941fccad2ae /docs/man.texi | |
| parent | 73da91b91fa13dd85903f1675257c95614790950 (diff) | |
clean up legacy_license_check
Diffstat (limited to 'docs/man.texi')
0 files changed, 0 insertions, 0 deletions