mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-26 10:27:04 +09:00
Since we now expose our own micro.After() API which is more convenient and safer to use than directly using Go timers, we can remove exposing Go timers to lua directly.