Remove superfluous space

This causes a <dt> to get rendered around the <tt>s which breaks some
formatting.
This commit is contained in:
Daniel Wagner-Hall 2015-12-08 10:34:48 +00:00
parent ff45142663
commit 19dfafe376