diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2018-11-12 11:17:15 +0100 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2018-11-12 14:07:05 +0100 |
| commit | 4c9d1479a6e1653b49649116ffef9af337f332b5 (patch) | |
| tree | 31fb65aaafff83022911d3980700434c164ffadc /contrib/jenkins_arm.sh | |
| parent | 534a4b28977e1ab780e843b9ad25e2f3da463f6d (diff) | |
merge_doc.xsl: move to osmo-gsm-manuals.git
Allows building the manuals without the checked out libosmocore source.
Related: OS#3385
Depends: I8e7036fae062ee783cb132b14608827a82c5e7c7 (osmo-gsm-manuals)
Change-Id: Ifb81b18422987cdf36b75993d2782abf93b5f48c
Diffstat (limited to 'contrib/jenkins_arm.sh')
0 files changed, 0 insertions, 0 deletions