From d4e5d7bbce0aac719ac2c6451e0a6bfb675ab641 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 21 Oct 2008 17:30:06 -0400 Subject: Form example --- demo/listShop.urp | 1 - 1 file changed, 1 deletion(-) (limited to 'demo/listShop.urp') diff --git a/demo/listShop.urp b/demo/listShop.urp index 219c6828..85d318d4 100644 --- a/demo/listShop.urp +++ b/demo/listShop.urp @@ -1,4 +1,3 @@ -debug list listFun -- cgit v1.2.3