From 77f1c289bcb9228ca9605913316405c7cb63fecc Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 4 Apr 2010 12:29:34 -0400 Subject: Pushing policies through --- tests/policy.urp | 1 + 1 file changed, 1 insertion(+) create mode 100644 tests/policy.urp (limited to 'tests/policy.urp') diff --git a/tests/policy.urp b/tests/policy.urp new file mode 100644 index 00000000..b26ebd4a --- /dev/null +++ b/tests/policy.urp @@ -0,0 +1 @@ +policy -- cgit v1.2.3