diff options
Diffstat (limited to 'shell/e-shell-marshal.list')
-rw-r--r-- | shell/e-shell-marshal.list | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shell/e-shell-marshal.list b/shell/e-shell-marshal.list index de0ad340ba..aa9f7b36b9 100644 --- a/shell/e-shell-marshal.list +++ b/shell/e-shell-marshal.list @@ -1,3 +1,4 @@ +NONE:BOOL NONE:INT NONE:INT,INT NONE:INT,POINTER |