tree dc48576d83cc8c39e14502957ffb54354ba1606e
parent fbddeb1cd57da82f7222661d563eba7140e9dd08
author Nils Diewald <nils@diewald-online.de> 1393272144 +0000
committer Nils Diewald <nils@diewald-online.de> 1393272144 +0000

[bugfix] Small modification to property loader