diff options
Diffstat (limited to 'shell/e-shell-marshal.list')
| -rw-r--r-- | shell/e-shell-marshal.list | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/shell/e-shell-marshal.list b/shell/e-shell-marshal.list deleted file mode 100644 index 2b7c3eb383..0000000000 --- a/shell/e-shell-marshal.list +++ /dev/null @@ -1,26 +0,0 @@ -BOOL:POINTER,INT -NONE:BOOL,INT -NONE:INT,INT -NONE:INT,POINTER -NONE:INT,STRING -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 -NONE:POINTER,STRING,BOOL -NONE:POINTER,STRING,STRING -NONE:POINTER,STRING,STRING,BOOL -NONE:POINTER,STRING,STRING,STRING,STRING -NONE:STRING,BOOL -NONE:STRING,INT -NONE:STRING,INT,INT -NONE:STRING,POINTER -NONE:STRING,POINTER,POINTER -NONE:STRING,STRING -NONE:STRING,STRING,STRING -NONE:STRING,STRING,STRING,STRING -NONE:STRING,POINTER,POINTER,UINT,UINT |