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