Skip to content
Snippets Groups Projects
Verified Commit 4389e532 authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Rename files, classes and variables in relation to the configuration file

In particular, makes clearer the distinction between configuration and
configuration file. The former includes information that is not in the
latter (command-line options.)
parent 7dd125e4
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment