Michael Raskin d79b3e5998 Updating XBoard to 4.7.2		2013-10-20 21:08:25 +04:00
..
default.nix	Updating XBoard to 4.7.2	2013-10-20 21:08:25 +04:00
default.upstream	XBoard: update to 4.6.2	2012-12-12 09:29:49 +04:00