applications
|
lean: 2017-01-14 -> 3.0.0
|
2017-01-20 10:59:54 +01:00 |
build-support
|
debian: 8.6 -> 8.7
|
2017-01-17 10:55:05 +01:00 |
data
|
man-pages: 4.08 -> 4.09
|
2017-01-12 19:16:54 +01:00 |
desktops
|
gnome3.nemiver: fix build
|
2017-01-20 02:38:50 +01:00 |
games
|
eduke32: fix build
|
2017-01-19 16:52:40 +01:00 |
misc
|
Merge pull request #21995 from abbradar/opencl
|
2017-01-20 12:09:17 +03:00 |
os-specific
|
Merge pull request #21995 from abbradar/opencl
|
2017-01-20 12:09:17 +03:00 |
servers
|
elasticsearch2: Minor cleanup
|
2017-01-20 09:52:07 +01:00 |
shells
|
oh-my-zsh: 2016-12-16 -> 2017-01-15
|
2017-01-17 17:55:40 -05:00 |
tools
|
Merge pull request #21995 from abbradar/opencl
|
2017-01-20 12:09:17 +03:00 |
top-level
|
Merge pull request #21997 from peterhoeg/f/diag
|
2017-01-20 09:34:18 +00:00 |