Use label to select doxygen version
authorTeemu Murtola <teemu.murtola@gmail.com>
Sun, 23 Dec 2018 19:17:19 +0000 (20:17 +0100)
committerTeemu Murtola <teemu.murtola@gmail.com>
Mon, 24 Dec 2018 07:49:16 +0000 (08:49 +0100)
commit67837955db4b8c8553efdb8887a589e77e934cfb
treea6132e4feac0fa21ef7f77e9c38e3649037d1fc9
parent52b48193a5bb45b15b0834ae505b972b55fdd4ad
Use label to select doxygen version

Change-Id: Ic5276e846867e1dd77250500dcb8693946258e0c
admin/builds/documentation.py