applications
|
boolector: fix build with multiple outputs
|
2016-08-24 18:19:40 +00:00 |
development
|
prelink: fix glibc static linking
|
2016-08-24 21:31:02 +02:00 |
games
|
crawl: fix build with multiple outputs
|
2016-08-24 19:06:00 +00:00 |
misc
|
Merge branch 'master' into staging
|
2016-08-24 11:57:44 +01:00 |
os-specific
|
sinit: 0.9.2 -> 1.0, fix glibc static linking
|
2016-08-24 21:31:02 +02:00 |
servers
|
dico: disable format hardening
|
2016-08-24 20:16:48 +02:00 |
tools
|
plotutils: disable failing test on i686
|
2016-08-24 21:31:02 +02:00 |