From edb4793863b19528b3551f977c081472bea8968b Mon Sep 17 00:00:00 2001 From: Pali Rohár Date: Sun, 25 Nov 2012 20:54:22 +0100 Subject: Remove old gui from tree --- src/gui/extras.vapi | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 src/gui/extras.vapi (limited to 'src/gui/extras.vapi') diff --git a/src/gui/extras.vapi b/src/gui/extras.vapi deleted file mode 100644 index d8f2ddc..0000000 --- a/src/gui/extras.vapi +++ /dev/null @@ -1,10 +0,0 @@ -namespace Extras { - public class External { - [CCode (cname = "system")] - public static int system(string cmd); - [CCode (cname = "fpid_file")] - public static string fpid_file(string file); - [CCode (cname = "fpid_size")] - public static long fpid_size(string file); - } -} -- cgit v1.2.3