From db7a947275c7bcb44a095b25ccf95526af68d737 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 12 Oct 2008 11:44:43 -0400 Subject: Basis indents and type-checks with new twiddle syntax --- tests/empty.urp | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 tests/empty.urp (limited to 'tests/empty.urp') diff --git a/tests/empty.urp b/tests/empty.urp new file mode 100644 index 00000000..7387128d --- /dev/null +++ b/tests/empty.urp @@ -0,0 +1,2 @@ +debug + -- cgit v1.2.3