Erik Broes 1505b4bf3c RedstoneChange event thrown then the redstone *changes* not when it stays the same :D

2011-03-02 16:36:26 +01:00

..

minecraft/server

RedstoneChange event thrown then the redstone *changes* not when it stays the same :D

2011-03-02 16:36:26 +01:00