diff options
| author | Pali Rohár <pali.rohar@gmail.com> | 2012-11-25 20:54:22 +0100 |
|---|---|---|
| committer | Pali Rohár <pali.rohar@gmail.com> | 2012-11-25 20:54:22 +0100 |
| commit | edb4793863b19528b3551f977c081472bea8968b (patch) | |
| tree | 9037a37e5b967cb9a0c6407b0f4ccd4440577cfa /src/gui/extras.vapi | |
| parent | 880a3e084651509177b8cbcc1104f7cee3c97ac6 (diff) | |
| download | 0xFFFF-edb4793863b19528b3551f977c081472bea8968b.tar.bz2 | |
Remove old gui from tree
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); - } -} |