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

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

parent 438d3e10
No related branches found
No related tags found
No related merge requests found
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