From: Jeremy Stanley <fungi@yuggoth.org>
Date: Sat, 29 Jul 2017 16:18:16 +0000 (+0000)
Subject: Rename internal:time to .mudpy.timing
X-Git-Tag: 0.0.1~148
X-Git-Url: https://mudpy.org/gitweb?p=mudpy.git;a=commitdiff_plain;h=947a707d32fe29eff85c7091b82be5c67056aecf;hp=947a707d32fe29eff85c7091b82be5c67056aecf

Rename internal:time to .mudpy.timing

Convert the old style internal:time element to a new style
.mudpy.timing element and adjust the User.check_idle() method and
on_pulse() function accordingly.
---