removed old player filtering
authorDave Griffiths <dave@fo.am>
Mon, 17 Jun 2013 17:51:06 +0000 (18:51 +0100)
committerDave Griffiths <dave@fo.am>
Mon, 17 Jun 2013 17:51:06 +0000 (18:51 +0100)
commitda804dcdd1a7b19a2c7976c1aa21642d040c11ed
tree1c64ad3b3181886ad62592d0f59ee636867a41a1
parent620ff997be8e9a562e39dc53b5f1fd2aa3ecc2ee
removed old player filtering
scripts/server-interface.ss