build-support
|
Merge branch 'staging'
|
2016-01-22 13:48:35 +01:00 |
data
|
numix-icon-theme-circle: 20151014 -> 20160121
|
2016-01-22 14:37:34 +01:00 |
desktops
|
gnome3.pomodoro: 3.18-624945d -> 3.18-4844fad
|
2016-01-22 14:29:28 +01:00 |
development
|
pharo-vm: 2016.01.14 -> 2016.02.15
|
2016-02-16 14:04:04 +01:00 |
games
|
Merge branch 'staging'
|
2016-01-22 13:48:35 +01:00 |
misc
|
Merge branch 'staging'
|
2016-01-22 13:48:35 +01:00 |
os-specific
|
Merge branch 'staging'
|
2016-01-22 13:48:35 +01:00 |
servers
|
Merge branch 'staging'
|
2016-01-22 13:48:35 +01:00 |
shells
|
fish: fix merge conflict
|
2016-01-05 23:32:29 +01:00 |
stdenv
|
Merge branch 'master' into staging
|
2016-01-18 09:48:49 +01:00 |
tools
|
Merge branch 'staging'
|
2016-01-22 13:48:35 +01:00 |