Christophe CURIS 0bab67f9be configure: Added option to disable animations ...

The old behaviour was to expect the user to go modify manually a source
file which is not a great idea because that's typically the kind of things
in charge of the configure script.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>

2015-05-08 18:53:29 +01:00

11 KiB

Raw Blame History

View Raw