From c66b728b1b4e4ca919affac82d9bdbebc98a2a42 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 30 Oct 2008 14:36:48 -0400 Subject: time type --- tests/time.urp | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 tests/time.urp (limited to 'tests/time.urp') diff --git a/tests/time.urp b/tests/time.urp new file mode 100644 index 00000000..f48698e9 --- /dev/null +++ b/tests/time.urp @@ -0,0 +1,3 @@ +debug + +time -- cgit v1.2.3