Skip to content
Unverified Commit 78790cf5 authored by Henne Vogelsang's avatar Henne Vogelsang Committed by GitHub
Browse files

Merge pull request #7958 from eduardoj/make_editor_bigger_where_needed 

Make editor big where needed
parents ae671fa7 eb30e4ad
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