tree 971ee2401758e17a33fdfb4d2b383d314c01635d
parent 05e133dfea4b5604e8437eee652f3761e8cf1317
author Jesse van den Kieboom <jessevdk@gmail.com> 1445200450 +0200
committer Jesse van den Kieboom <jessevdk@gmail.com> 1445200450 +0200

Do not apply defaults if option value was set from ini

Fixes #120.