diff options
author | Ramón M. Gómez <ramongomez@us.es> | 2020-02-17 11:29:44 +0100 |
---|---|---|
committer | Ramón M. Gómez <ramongomez@us.es> | 2020-02-17 11:29:44 +0100 |
commit | 118e2a2cf3bdd1b1b8e8ad13ba555192e765bd9e (patch) | |
tree | 4380fb88ba7d14d7656f21b4fe8d0253b64c3a90 /server | |
parent | ca75d294e3b1bd59ca868c6a57310445eb1187dd (diff) |
#957: Script `checkrepo` supports `help` and `version` functions.
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions