diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-10-13 17:15:23 +1100 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-10-13 17:21:56 +1100 |
| commit | 46ecac9ab60b32ccc7b40a668938c84117de1b4d (patch) | |
| tree | 6e8b6ca613084071b5f8ab09ad07ebc8defcbe04 /docs/man.texi | |
| parent | dbfe1fb86719a18364f24bff57781aeb3262cb90 (diff) | |
changing license definition to json
and reuse it in the manual
Diffstat (limited to 'docs/man.texi')
0 files changed, 0 insertions, 0 deletions