Minor cleanup.

This commit is contained in:
Achim D. Brucker 2016-10-22 21:56:28 +01:00
parent 57a43ff1df
commit 2d71ef8895
1 changed files with 2 additions and 2 deletions