From 2c8e4cddb5f5c7a85337b8c42135c346b14de1f4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 19 Dec 2008 11:47:18 -0500 Subject: Creation of sources in server code --- tests/reactive.urp | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 tests/reactive.urp (limited to 'tests/reactive.urp') diff --git a/tests/reactive.urp b/tests/reactive.urp new file mode 100644 index 00000000..88dd4cbc --- /dev/null +++ b/tests/reactive.urp @@ -0,0 +1,3 @@ +debug + +reactive -- cgit v1.2.3