minor fix

This commit is contained in:
Filip Gralinski 2015-11-07 12:10:39 +01:00 committed by Filip Gralinski
parent e66a8d8341
commit fbe71aef92