diff options
author | Loïc Blot <nerzhul@users.noreply.github.com> | 2020-04-15 08:01:11 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-15 08:01:11 +0200 |
commit | 5c588f89e79e02cba392abe3d00688772321f88b (patch) | |
tree | f88ba42459e55fa577668054fb06803af928f7d1 /fonts | |
parent | 62c62f382984bd1a6f5cd7c6edb00453ff758f9b (diff) | |
download | minetest-5c588f89e79e02cba392abe3d00688772321f88b.tar.gz minetest-5c588f89e79e02cba392abe3d00688772321f88b.tar.bz2 minetest-5c588f89e79e02cba392abe3d00688772321f88b.zip |
Verify database connection on interval (#9665)
Diffstat (limited to 'fonts')
0 files changed, 0 insertions, 0 deletions