fix trailing space

This commit is contained in:
Georg Brandl 2013-12-10 10:23:45 +01:00
parent 1d5c7d1f20
commit 04bc952dd9