Whitespace correction
authorAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Sat, 4 Oct 2014 13:29:43 +0000 (16:29 +0300)
committerAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Sat, 4 Oct 2014 13:29:43 +0000 (16:29 +0300)
commit4cdbcd52a2e963c0429c838a305643d4c8f98b65
treeb1a89c4d6926eb29dece270abf12114a31c69c03
parent9268b6f763f60d7949300d8b05e0181254857ae5
Whitespace correction

Change-Id: Ia6e9c1e47bf6289398a38e6b4b2f5055e30ba4fb
resources/Resources.php