diff options
| author | rubenwardy <rw@rubenwardy.com> | 2018-11-08 21:59:56 +0000 |
|---|---|---|
| committer | Paramat <paramat@users.noreply.github.com> | 2018-11-08 21:59:56 +0000 |
| commit | b1112f663b83cd745423e5dbef99461aed8dc329 (patch) | |
| tree | f8b8fa72300ba9cc8152c3d90ec617442c3e6f8f /src/gui/mainmenumanager.h | |
| parent | bd81b5e4c820716d7d7d039132002517cb27d699 (diff) | |
| download | minetest-b1112f663b83cd745423e5dbef99461aed8dc329.tar.gz minetest-b1112f663b83cd745423e5dbef99461aed8dc329.tar.bz2 minetest-b1112f663b83cd745423e5dbef99461aed8dc329.zip | |
Content store: Add setting to filter non-free packages (#7766)
Defaulting to hiding in order to help with Debian/etc distribution.
This could be changed at a later date.
Diffstat (limited to 'src/gui/mainmenumanager.h')
0 files changed, 0 insertions, 0 deletions