Fix filename of a documentation file

This commit is contained in:
Andreas Linde
2013-09-12 13:05:00 +02:00
parent 65bc6327c0
commit e5c59993a8