Aristid Breitkreuz 53866352c2 nvidia driver no longer requires kernel 3.10 patch

2013-08-27 19:07:21 +02:00

..

darwin

Merge pull request #723 from lovek323/darwin-tools

2013-07-07 04:49:04 -07:00

gnu

More renames

2012-12-28 19:42:10 +01:00

linux

nvidia driver no longer requires kernel 3.10 patch

2013-08-27 19:07:21 +02:00

windows

pthread-win32: don't propagate `mingw_headers'

2013-03-29 21:46:38 +01:00