On Wed, Nov 7, 2012 at 3:02 PM, David Ostrovsky <[email protected]> wrote: > Given that we don't want to rename two last options, we are trying to find a > new (less confusing and not so long) name > for the first one: > --enable-symbols-and-preserve-optimization
nah, --enable-symbol is just fine Norbert _______________________________________________ LibreOffice mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/libreoffice
