[Monetdb-developers] conf.bash

Dear developers, While trying to update conf.bash, I encountered the following problems: 1) I cannot find times100, misq and acoi 2) In playpen and gis conf.bash isn't identical to the other locations Further I wonder why conf.bash isn't just in buildtools for those who need it, but replicated in all modules. It is a great pain to keep them in sync it seems, and causes a lot of email. If someone can solve 1), thanks. I don't know about 2), I just made the change that is necessary for my change.