Fixed inconsistent file naming (yes. it matters ;-))

This commit is contained in:
Mark van Renswoude 2016-09-30 20:07:17 +02:00
parent a2128677f9
commit 0d85edbb42