From 5646b9630eb86f0d4f393dce6b7fc76cea87421f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 10:49:18 -0400 Subject: Alert demo --- demo/alert.urp | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 demo/alert.urp (limited to 'demo/alert.urp') diff --git a/demo/alert.urp b/demo/alert.urp new file mode 100644 index 00000000..5a85a04e --- /dev/null +++ b/demo/alert.urp @@ -0,0 +1,2 @@ + +alert -- cgit v1.2.3