Allow applications to disable clippy the flash movie

Some users may wish to disable flash entirely, as it does slow down
the user interface, and may offer only very little, if any benefit,
to the user.

Signed-off-by: Shawn O. Pearce <>
1 file changed
tree: 8686de719775694fe0e9fcc4e76b24c8d8609c96
  1. .gitignore
  2. .settings/
  4. GoogleFormat.xml
  5. pom.xml
  6. src/