01_user_documentation:03_interacting_with_groimp:03_configuring:03_options
Options
GroIMP uses java options to manage its options.
Headline
01_user_documentation/03_interacting_with_groimp/03_configuring/03_options.txt · Last modified: 2025/01/30 10:30 by gaetan