Vladimír Čunát 4a2b6a63b6 spring, warzone2100: work around build problems ... I guess there was a slight API change in the last mesa update.		2014-09-04 21:02:14 +02:00
..
default.nix	spring, warzone2100: work around build problems	2014-09-04 21:02:14 +02:00
springlobby.nix	springlobby: 0.186 -> 0.195	2014-06-08 19:39:55 +02:00