Skip to content
Snippets Groups Projects
Commit 290f5ac6 authored by Sebastian Henz's avatar Sebastian Henz
Browse files

Port part of the options/warning fix to master, closes #15

parent 9d667115
No related branches found
No related tags found
2 merge requests!13merge changes from master into v2.0,!11Bugfix/warnings
This commit is part of merge request !11. Comments created here will be created in the context of that merge request.
Hide whitespace changes
Inline Side-by-side
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