bug 1137: get rid of the board flag, which has already been removed in the release
authorMichael Tänzer <neo@nhng.de>
Sat, 24 Aug 2013 13:59:31 +0000 (15:59 +0200)
committerMichael Tänzer <neo@nhng.de>
Sat, 24 Aug 2013 13:59:31 +0000 (15:59 +0200)
commitff8e88c54bcbfad0084834f82b798b8a3f35817d
tree996dda2318f6673a103d07d84400ff20fa3d2152
parent69c7c9d069da887f238f51cd44ad1e07960f044e
bug 1137: get rid of the board flag, which has already been removed in the release
branch but somehow this change got lost in this branch (during merge conflict resolution)

Signed-off-by: Michael Tänzer <neo@nhng.de>
www/wot.php