4 commits

Author	SHA1	Message	Date
Francesco Gazzetta	c823b4c374	endgame-singularity: add option to disable the default music pack ... It's the heaviest part of the game. People may not want to have it take space or may want to use their own music.	2020-07-05 17:37:08 +02:00
Francesco Gazzetta	d80eeaea47	endgame-singularity: 0.30c -> 1.00	2020-07-05 17:29:17 +02:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Francesco Gazzetta	ff583d8114	endgame-singularity: init at 0.30c (#45057)	2018-08-26 19:38:52 +02:00