Commit 5d7bd1cb authored by Cage, Gregory's avatar Cage, Gregory
Browse files

Merge branch '127-add-option-to-disable-batch-mode' into 'dev' 

Add option to disable batch mode for all tools

Closes #127

See merge request !101
parents cb11285c 832af834