From 3a94a798557f71cba0fdfdb54cdf431c44a4ef1d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Mar 2009 16:38:38 -0400 Subject: BatchG demo --- demo/batchG.urp | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 demo/batchG.urp (limited to 'demo/batchG.urp') diff --git a/demo/batchG.urp b/demo/batchG.urp new file mode 100644 index 00000000..ba4ce189 --- /dev/null +++ b/demo/batchG.urp @@ -0,0 +1,5 @@ +database dbname=test +sql batchG.sql + +batchFun +batchG -- cgit v1.2.3