diff options
| author | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-08-27 16:03:03 +0200 |
|---|---|---|
| committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2018-10-08 10:30:50 +0200 |
| commit | 1dae711f17473e12c822a657ffca02abee27b3a2 (patch) | |
| tree | 920f52f7defdf28aa75d8b0d87f25660ec90722b /vapi/udisks2.vapi | |
| parent | 2eee4d0db7657800acbc7a926d48234465ed4e21 (diff) | |
| download | vala-1dae711f17473e12c822a657ffca02abee27b3a2.tar.gz | |
build: Allow disabling the build of valadoc
Allow disabling build of valadoc with configure option --disable-valadoc
Fixes https://gitlab.gnome.org/GNOME/vala/issues/596
Diffstat (limited to 'vapi/udisks2.vapi')
0 files changed, 0 insertions, 0 deletions