Change in osmo-dev[master]: add manuals.opts, no_doxygen.opts, no_optimization.opts

Harald Welte gerrit-no-reply at lists.osmocom.org
Wed Mar 6 20:48:51 UTC 2019


Harald Welte has posted comments on this change. ( https://gerrit.osmocom.org/13148 )

Change subject: add manuals.opts, no_doxygen.opts, no_optimization.opts
......................................................................


Patch Set 1: Code-Review+1


-- 
To view, visit https://gerrit.osmocom.org/13148
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-dev
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: Ief9e6865eaff587dbd1f1f73f2fecac470e77a81
Gerrit-Change-Number: 13148
Gerrit-PatchSet: 1
Gerrit-Owner: Neels Hofmeyr <nhofmeyr at sysmocom.de>
Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org>
Gerrit-Comment-Date: Wed, 06 Mar 2019 20:48:51 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20190306/2ce5af0c/attachment.html>


More information about the gerrit-log mailing list