Fix bad file extension

This commit is contained in:
Duncan Sommerville 2015-09-16 15:31:59 -04:00
parent cce18ec911
commit dc840bf25f