Vladimír Čunát c4661e9643 Merge: make dev output references explicit ...

This is a rebase of most commits from #14766,
resolving conflicts and a few other evaluation problems.

2016-05-22 12:09:23 +02:00

..

darwin

treewide: Make explicit that 'dev' output of ncurses is used

2016-05-19 10:00:49 +02:00

gnu

use dontBuild instead of hacks

2016-05-04 10:11:04 +00:00

linux

Merge: make dev output references explicit

2016-05-22 12:09:23 +02:00

windows

mingw: update 3.1.0 -> 4.0.6

2016-04-21 13:38:20 +02:00