Skip to content
Unverified Commit 2d8ea936 authored by Michael Jansen's avatar Michael Jansen Committed by GitHub
Browse files

Merge pull request #2246 from klees/release_5-4_cs 

Minimal Set of Changes to Apply Code Style in release_5-4
parents d7389904 e9f9744d
Expand all 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