summaryrefslogtreecommitdiff
path: root/lib/gmp
diff options
context:
space:
mode:
authorAuke Kok <sofar+github@foo-projects.org>2017-04-02 08:51:16 +0000
committerLoïc Blot <nerzhul@users.noreply.github.com>2017-04-02 10:51:16 +0200
commit75fb3e47308823cf39d4aae0fd739ca445e8e36c (patch)
treea897010733e9dcf9f287c4e7a7e7ecca700dfab2 /lib/gmp
parent26f4a5c2d1e3d825816188fcd63f6d1f6758ae60 (diff)
downloadminetest-75fb3e47308823cf39d4aae0fd739ca445e8e36c.tar.gz
minetest-75fb3e47308823cf39d4aae0fd739ca445e8e36c.tar.bz2
minetest-75fb3e47308823cf39d4aae0fd739ca445e8e36c.zip
minetest.after(): simplify further, pause in singleplayer (#5500)
Using the `dtime` value entirely, this will stop the clock if the game is paused in singleplayer. Since most of the clocks were fixed a long time ago, this should again be safe to use.
Diffstat (limited to 'lib/gmp')
0 files changed, 0 insertions, 0 deletions