1. 2001-06-09 Re: What does --enable-final do? Guillaume Lauren 2. 2001-06-08 Re: What does --enable-final do? Rolf Magnus 3. 2001-06-08 Re: What does --enable-final do? Neil Stevens 4. 2001-06-08 Re: What does --enable-final do? Waldo Bastian 5. 2001-06-08 Re: What does --enable-final do? Pavel Troller 6. 2001-06-07 What does --enable-final do? Gioele Barabucci