On Wed, Nov 7, 2012 at 3:02 PM, David Ostrovsky <d.ostrov...@idaia.de> 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 LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
