diff util/timer.lua @ 2287:efea91c740a2

Merge with tip.
author Tobias Markmann <tm@ayena.de>
date Mon, 30 Nov 2009 23:25:10 +0100
parents a1ad06f1c090
children c3a364342cb4
line wrap: on
line diff