applications
|
Merge branch 'master' into staging
|
2017-06-30 18:16:58 +02:00 |
build-support
|
Merge branch 'master' into staging
|
2017-06-30 18:16:58 +02:00 |
common-updater
|
common-updater-script: fix error handling
|
2017-05-19 17:14:43 +03:00 |
data
|
Merge pull request #26928 from romildo/new.monoid
|
2017-06-30 15:48:47 +01:00 |
development
|
Merge branch 'master' into staging
|
2017-06-30 18:16:58 +02:00 |
games
|
Merge accepted cross compilation PRs into staging
|
2017-06-28 23:17:21 -04:00 |
misc
|
Merge accepted cross compilation PRs into staging
|
2017-06-28 23:17:21 -04:00 |
os-specific
|
Merge branch 'master' into staging
|
2017-06-30 18:16:58 +02:00 |
servers
|
Merge branch 'master' into staging
|
2017-06-30 18:16:58 +02:00 |
shells
|
bash: fix cygwin build
|
2017-06-26 09:33:03 -03:00 |
stdenv
|
Merge accepted cross compilation PRs into staging
|
2017-06-29 18:07:13 -04:00 |
tools
|
Merge branch 'master' into staging
|
2017-06-30 18:16:58 +02:00 |
top-level
|
Merge branch 'master' into staging
|
2017-06-30 18:16:58 +02:00 |