diff options
Diffstat (limited to 'teal-src/util/timer.d.tl')
-rw-r--r-- | teal-src/util/timer.d.tl | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/teal-src/util/timer.d.tl b/teal-src/util/timer.d.tl deleted file mode 100644 index a6394cf3..00000000 --- a/teal-src/util/timer.d.tl +++ /dev/null @@ -1,8 +0,0 @@ -local record util_timer - record task end - type timer_callback = function (number) : number - add_task : function ( number, timer_callback, any ) : task - stop : function ( task ) - reschedule : function ( task, number ) : task -end -return util_timer |