summaryrefslogtreecommitdiff
path: root/tests/time.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-30 14:36:48 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-30 14:36:48 -0400
commitc66b728b1b4e4ca919affac82d9bdbebc98a2a42 (patch)
tree797f3a4f11f0165ecee54b4870006be56399838d /tests/time.urp
parentbf22e4938d4cb8164d112ab9beb784b44c96422a (diff)
time type
Diffstat (limited to 'tests/time.urp')
-rw-r--r--tests/time.urp3
1 files changed, 3 insertions, 0 deletions
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