From b4842fa1477e509244df0182cf4ea592d5201679 Mon Sep 17 00:00:00 2001 From: Ying-Chieh Liao Date: Mon, 23 Aug 2004 08:04:45 +0000 Subject: add pipe beta-1.0 Platform Independent Petri-Net Editor --- misc/pipe/files/pipe | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 misc/pipe/files/pipe (limited to 'misc/pipe/files') diff --git a/misc/pipe/files/pipe b/misc/pipe/files/pipe new file mode 100644 index 000000000000..7c6abae119fe --- /dev/null +++ b/misc/pipe/files/pipe @@ -0,0 +1,3 @@ +#!/bin/sh + +java -cp %%DATADIR%% RunGui -- cgit v1.2.3