3 Commits (24e03633fc0b06fd6bd6406aadabd8a00d96cee4)

Author SHA1 Message Date
Pino Toscano 65920e10c6 document that reparseConfig() can be called even when not really necessary 19 years ago
Pino Toscano 8a216058f3 clean the headers 19 years ago
Tobias Koenig ea51ee18f5 Do a lot of include cleanups... we install all important 19 years ago
Tobias Koenig 472f4028c2 Add API documentations 19 years ago
Pino Toscano 915a48eb4d move the Generator configuration stuff into a new ConfigInterface 19 years ago