osmocom
/
osmo-dev
mirror of https://gerrit.osmocom.org/osmo-dev
11
0
Fork 0
Code Releases Activity
osmo-dev/manuals.opts

2 lines
21 B
Plaintext
Raw Permalink Normal View History

add manuals.opts, no_doxygen.opts, no_optimization.opts Change-Id: Ief9e6865eaff587dbd1f1f73f2fecac470e77a81
2019-03-06 15:48:50 +00:00
ALL --enable-manuals