Skip to content
Commit 148bb951 authored by Bodo Möller's avatar Bodo Möller
Browse files

Disable code that clearly doesn't currently serve any useful purpose. 

(Buggy line reported by Matthias Koenig.)
parent 51e00db2
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