diff options
Diffstat (limited to 'pluma/pluma-marshal.list')
| -rw-r--r-- | pluma/pluma-marshal.list | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/pluma/pluma-marshal.list b/pluma/pluma-marshal.list deleted file mode 100644 index 4c0e766d..00000000 --- a/pluma/pluma-marshal.list +++ /dev/null @@ -1,13 +0,0 @@ -BOOLEAN:VOID -BOOLEAN:OBJECT -VOID:BOOLEAN -VOID:BOOLEAN,POINTER -VOID:BOXED,BOXED -VOID:OBJECT -VOID:POINTER -VOID:STRING,BOXED,FLAGS -VOID:STRING,BOXED,INT,BOOLEAN -VOID:UINT,POINTER -VOID:UINT64,UINT64 -VOID:VOID -VOID:INT,INT |