tree 0e1dba01c1d7a9bef89acb7691518cdd89603111
parent 921f2d02cf248114d2e4b61f3b33e65a28b4fab0
author Manuel Pégourié-Gonnard <mpg2@elzevir.fr> 1442438461 +0200
committer Manuel Pégourié-Gonnard <mpg2@elzevir.fr> 1442438461 +0200

Add warning on config options

Note to self: actually disable before merging that branch!