diff options
| author | Francesco Gazzetta <fgaz@fgaz.me> | 2020-01-26 16:14:02 +0100 |
|---|---|---|
| committer | Milan <me@pbb.lc> | 2020-01-30 14:19:55 +0100 |
| commit | 770756e74ca4a1f0915ebaa83984bd3275eba4fd (patch) | |
| tree | 34cddd54a13b3578af8cfd1f40d619516f50edd9 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 32718c9992f5b49fbe6fb81bfc3dd3cc8316a3a8 (diff) | |
mindustry,mindustry-server: make it possible to choose what to build
So that headless servers do not need to pull in the pulseaudio
dependency
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions