Migrating preferences files to 'config'

Authored by thomasfischer on May 17 2019, 6:58 PM.

Description

Migrating preferences files to 'config'

... including minor fixes in Python code and the JSON file.

Details

Committed
thomasfischerJun 1 2019, 12:06 PM
Parents
R462:acd06a63dbc8: Removed LaTeX table generation if BUILD_TESTING was defined
Branches
Unknown
Tags
Unknown