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.