Skip to content
Commit 87a25f90 authored by Dr. Stephen Henson's avatar Dr. Stephen Henson
Browse files

Allow the extension section specified in config files to be overridden

on the command line for various utilities.
parent f9150e54
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment