applications
|
isabelle: 2016-1 -> 2017
|
2017-10-10 11:18:57 +02:00 |
build-support
|
Merge branch 'master' into staging
|
2017-10-07 10:17:42 +02:00 |
common-updater
|
common-updater-script: fix error handling
|
2017-05-19 17:14:43 +03:00 |
desktops
|
enlightenment: 0.21.9 -> 0.21.10
|
2017-10-10 06:51:46 +02:00 |
development
|
gdb: Remove --with-separate-debug-dir
|
2017-10-10 12:05:00 +02:00 |
games
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |
os-specific
|
linux: 4.9.53 -> 4.9.54
|
2017-10-10 12:41:50 +02:00 |
servers
|
xorg-server: security 1.19.3 -> 1.19.4
|
2017-10-08 17:32:13 +02:00 |
shells
|
antigen: init at 2.2.1 (#27266)
|
2017-10-10 01:39:04 +01:00 |
test
|
treewide: Use *Platform.extensions
|
2017-09-13 11:16:10 -04:00 |
tools
|
netalyzr: use makeWrapper i/o custom script
|
2017-10-10 17:18:38 +08:00 |
top-level
|
isabelle: 2016-1 -> 2017
|
2017-10-10 11:18:57 +02:00 |