diff options
| author | rubenwardy <rw@rubenwardy.com> | 2019-01-09 13:14:24 +0000 |
|---|---|---|
| committer | rubenwardy <rw@rubenwardy.com> | 2019-01-09 13:14:33 +0000 |
| commit | 4b04268304a2f798cea110415f360c165395b4fb (patch) | |
| tree | 84118b0dff53fcaed0d784a72f6e79dc606fdc4e /src/gui | |
| parent | 630c0ea997267447d983fb5c1129c8a2c67c24e4 (diff) | |
| download | minetest-4b04268304a2f798cea110415f360c165395b4fb.tar.gz minetest-4b04268304a2f798cea110415f360c165395b4fb.tar.bz2 minetest-4b04268304a2f798cea110415f360c165395b4fb.zip | |
pkgmgr: Fix games list not being updated after game install
Fixes #8074
Diffstat (limited to 'src/gui')
0 files changed, 0 insertions, 0 deletions