diff lib.urp @ 0:37eefd0a2ed4

Import code from elsewhere
author Adam Chlipala <adam@chlipala.net>
date Tue, 14 Dec 2010 10:55:22 -0500
parents
children 4d8165e8f89a
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib.urp	Tue Dec 14 10:55:22 2010 -0500
@@ -0,0 +1,2 @@
+timer
+waitbox