Evgeny Egorochkin b084b29d26 Even more mirror:// fixes

2013-07-14 04:17:07 +03: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

Even more mirror:// fixes

2013-07-14 04:17:07 +03:00

windows

pthread-win32: don't propagate `mingw_headers'

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