From 36b92359be479b92b5adcbdc669576e61d01f74a 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