Pascal Wittmann 66433822d3 supertux: remove obsolete patch		2015-05-31 16:44:16 +02:00
..
default.nix	supertux: update from 0.1.3 to 0.3.5a	2015-05-28 18:41:22 +02:00