Francesco Gazzetta
|
7887a4ac38
|
mindustry: 103 -> 104.6 (#83613)
|
2020-03-28 20:31:00 +01:00 |
|
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 |
|