diff options
Diffstat (limited to 'src/gui/extras.vapi')
| -rw-r--r-- | src/gui/extras.vapi | 10 |
1 files changed, 0 insertions, 10 deletions
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); - } -} |