diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-11-05 16:29:47 +0100 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2019-11-05 16:29:47 +0100 |
| commit | becda5638a8ff8b056ec04b5e156e86b168cb9ef (patch) | |
| tree | b6cdd9a4f7fcca8c249131fa0c955f8cdfe45249 /tools | |
| parent | d54a69ac7f0a29846cd9dbc697d1d369f51988bb (diff) | |
Doc: Minor fix
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions