Vladimír Čunát 1ec9f8b62f doxygen: 1.8.14 -> 1.8.15 ... I thought of filing a PR, but it would seem a useless step, even though the release seems to bring lots of changes: http://www.doxygen.nl/manual/changelog.html#log_1_8_15 My relatively simple use case still works (atop 18.09).		2019-01-02 17:21:42 +01:00
..
applications	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
build-support	Merge master into staging-next	2018-12-31 12:00:36 +01:00
common-updater
data	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
desktops	Merge master into staging-next	2018-12-31 12:00:36 +01:00
development	doxygen: 1.8.14 -> 1.8.15	2019-01-02 17:21:42 +01:00
games	frogatto: init at 0.0.2018-12-09 (#52989)	2019-01-02 11:47:16 +01:00
misc	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
os-specific	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
servers	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
shells	fish: do not use internal wcwidth	2018-12-30 10:21:06 +01:00
stdenv	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
test	Merge pull request #50212 from matthewbauer/host-emulator	2018-11-29 19:34:20 -06:00
tools	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00
top-level	Merge branch 'master' into staging	2019-01-02 17:19:23 +01:00