Dirk Ziegelmeier 90fba8773f Revert "Fix my messing of opt.h and the other options files - it was actually caused by a cyclic #include which I did not see"
It still does not work, due to #undef of options in opt.h, the documentation of many files is incomplete
This reverts commit 3f0dae29e996f5f2015524500bc3e8f136315d8c.
2016-07-28 23:34:16 +02:00
..
2016-07-28 09:21:16 +02:00