3 commits

Author	SHA1	Message	Date
Francesco Gazzetta	770756e74c	mindustry,mindustry-server: make it possible to choose what to build ... So that headless servers do not need to pull in the pulseaudio dependency	2020-01-30 14:19:55 +01:00
Francesco Gazzetta	3db6b0fbd7	mindustry: 102 -> 103	2020-01-25 12:05:20 +01:00
Francesco Gazzetta	36f084b2bb	mindustry: init at 102 (and updates) (#72306) ... * mindustry: init at 99 * mindustry: 99 -> 100 * mindustry: 100 -> 101 * mindustry: 101 -> 101.1 * mindustry: 101.1 -> 102	2020-01-13 18:01:29 +08:00