Markus Mueller edd94f5fcd mcrl2: 201409 -> 201707		2017-09-08 18:26:25 +02:00
..
altcoins
audio
backup
display-managers
editors
gis
graphics	yEd: 3.17 -> 3.17.1	2017-09-08 17:01:06 +02:00
inferno
kde
misc	slic3r: fix build with gcc6	2017-09-08 16:58:33 +02:00
networking	Merge pull request #29120 from Lassulus/ceneterim-update	2017-09-08 18:17:52 +02:00
office
science	mcrl2: 201409 -> 201707	2017-09-08 18:26:25 +02:00
search
taxes
version-management
video
virtualization
window-managers