X-Git-Url: http://git.hungrycats.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=local%2Fbin%2Fpetri;fp=local%2Fbin%2Fpetri;h=0000000000000000000000000000000000000000;hb=df7adbee81405e2849728a24b498ad2117784b1f;hp=74ceb514d8e7ed5391958e6b8f7c1894f4d36c0b;hpb=41fae2ad67bc37e31c4d967bae81e4f3f50fa55a;p=xscreensaver diff --git a/local/bin/petri b/local/bin/petri deleted file mode 100755 index 74ceb514..00000000 Binary files a/local/bin/petri and /dev/null differ