diff options
Diffstat (limited to 'shell/e-shell-marshal.list')
| -rw-r--r-- | shell/e-shell-marshal.list | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/shell/e-shell-marshal.list b/shell/e-shell-marshal.list deleted file mode 100644 index 665620dcae..0000000000 --- a/shell/e-shell-marshal.list +++ /dev/null @@ -1,24 +0,0 @@ -NONE:BOOL -NONE:INT -NONE:INT,INT -NONE:INT,POINTER -NONE:INT,STRING -NONE:NONE -NONE:POINTER -NONE:POINTER,INT -NONE:POINTER,INT,INT -NONE:POINTER,POINTER -NONE:POINTER,POINTER,POINTER -NONE:POINTER,POINTER,POINTER,BOOL -NONE:POINTER,POINTER,POINTER,POINTER -NONE:POINTER,POINTER,POINTER,POINTER,POINTER -NONE:POINTER,STRING,INT -NONE:POINTER,STRING,STRING -NONE:POINTER,STRING,STRING,BOOL -NONE:POINTER,STRING,STRING,STRING,STRING -NONE:STRING -NONE:STRING,INT -NONE:STRING,INT,INT -NONE:STRING,POINTER -NONE:STRING,STRING -NONE:STRING,STRING,STRING,STRING |