diff options
| author | jvoisin | 2023-09-20 14:57:05 +0200 |
|---|---|---|
| committer | jvoisin | 2023-09-20 14:57:05 +0200 |
| commit | 688fe2f4f1a10485628521af1f3c8f6c6afd79b6 (patch) | |
| tree | 4326e9988a369a66acf2c91df54bfd15018a483e /Makefile | |
| parent | f672fa54b5c2b6ee9b4e5bf9ab833fc542b75d78 (diff) | |
Improve a bit the documentation
Based on a suggestion from @dimitargi
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions