diff options
author | Daniel Willmann <dwillmann@sysmocom.de> | 2019-06-19 14:21:28 +0200 |
---|---|---|
committer | Daniel Willmann <dwillmann@sysmocom.de> | 2019-06-19 14:24:13 +0200 |
commit | 43c5b7023bbb3f785efd64617ff750920f430a22 (patch) | |
tree | 731851bd1d35e24c5f989bc9dc68aab4f8bd36e5 /contrib/jenkins.sh | |
parent | df9b39142f566937fc191caaaf655f7b1cae8210 (diff) |
manuals: Add script to regenerate vty/counter documentation
Change-Id: I8ee63a3da532285def8de7fe5e90873152adb21e
Related: OS#1700
Diffstat (limited to 'contrib/jenkins.sh')
0 files changed, 0 insertions, 0 deletions