[Monetdb-developers] conf.bash still used?

Hi, I'm about to remove */conf/conf.bash, the script that "once" was provided to "conveniently" set your environment for building MonetDB, but --- thanks to improved configure setup and system installations --- should not be required any more. Please let me know a.s.a.p. in case there are any objections and/or anybody is still using this script. Thanks, Stefan -- | Dr. Stefan Manegold | mailto:Stefan.Manegold@cwi.nl | | CWI, P.O.Box 94079 | http://www.cwi.nl/~manegold/ | | 1090 GB Amsterdam | Tel.: +31 (20) 592-4212 | | The Netherlands | Fax : +31 (20) 592-4312 |