summaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorTim-Philipp Müller <tim@centricular.com>2014-08-16 10:06:08 +0100
committerTim-Philipp Müller <tim@centricular.com>2014-08-16 10:06:08 +0100
commitbedade404ec82432742a901c663f18dfaa24356f (patch)
tree4138310faccaca613eb7c957966e708b42090b4f /TODO
parent5d67de92640f56747112218d5426200dfbc20eaf (diff)
configure: error out with message that -gl has been merged into -badHEADmaster
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions