diff options
Diffstat (limited to 'shell/e-shell-marshal.list')
| -rw-r--r-- | shell/e-shell-marshal.list | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/shell/e-shell-marshal.list b/shell/e-shell-marshal.list index f18d290c80..2b7c3eb383 100644 --- a/shell/e-shell-marshal.list +++ b/shell/e-shell-marshal.list @@ -1,12 +1,8 @@ BOOL:POINTER,INT -NONE:BOOL NONE:BOOL,INT -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 @@ -19,7 +15,6 @@ NONE:POINTER,STRING,BOOL NONE:POINTER,STRING,STRING NONE:POINTER,STRING,STRING,BOOL NONE:POINTER,STRING,STRING,STRING,STRING -NONE:STRING NONE:STRING,BOOL NONE:STRING,INT NONE:STRING,INT,INT |