Put the tool options in the docker by default for 2.9.6

Authored by rempt.

Description

Put the tool options in the docker by default for 2.9.6

Details

Committed
remptJul 5 2015, 5:32 PM
Parents
R8:c5c91492192f: Activate Cut/Copy Sharp actions in the menu
Branches
Unknown
Tags
Unknown