From bda701f557d0e9aadd4717dd4fd6a38ac8ceb1eb Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 17:34:20 -0400 Subject: Rec demo --- demo/rec.urp | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 demo/rec.urp (limited to 'demo/rec.urp') diff --git a/demo/rec.urp b/demo/rec.urp new file mode 100644 index 00000000..979d20d5 --- /dev/null +++ b/demo/rec.urp @@ -0,0 +1,2 @@ + +rec -- cgit v1.2.3