This repository has been archived on 2026-05-28. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Audrius Butkevicius 8803bac708 Allow configuring GUI options from command line and environment (fixes #505, closes #507)

2014-08-24 16:55:35 +01:00

29 KiB

Raw Blame History

View Raw