diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2021-06-25 08:31:38 (GMT) |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2021-06-25 08:31:38 (GMT) |
commit | 80f9d0336c42e67480ae3c8e2486570a194b1328 (patch) | |
tree | 27ae1ab0b479749bb273e8cfd3cab91dc3b39f72 /web/content/doc/man | |
parent | b61c630cfb3a86203df274751360778d5a1c8ec4 (diff) | |
download | site-80f9d0336c42e67480ae3c8e2486570a194b1328.tar.gz |
development.md: Update GitHub URL
The old /monitoring-plugins/repositories URL is dead.
Diffstat (limited to 'web/content/doc/man')
0 files changed, 0 insertions, 0 deletions