Skip to content
Commit 587473c5 authored by Eelco Dolstra's avatar Eelco Dolstra
Browse files

Fix display of deprecated option definition warnings 

Looks like this was accidentally left commented out by
5f077e22.
parent 4e6697dc
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