From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 24 Sep 2017 17:27:19 +0000 (+0200)
Subject: marshaller-list: Remove unused marshallers
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=71ca6750d4f402feb0f3c630ba8d12eb73ef2216

marshaller-list: Remove unused marshallers
---

diff --git a/src/ui/gui/marshaller-list b/src/ui/gui/marshaller-list
index 467dcc40a5..202d172572 100644
--- a/src/ui/gui/marshaller-list
+++ b/src/ui/gui/marshaller-list
@@ -1,16 +1,6 @@
 #List of custom marshallers used by psppire
 
-BOOLEAN:BOOLEAN
-BOOLEAN:BOXED
-BOOLEAN:ENUM
-BOOLEAN:ENUM,INT
-BOOLEAN:INT
-BOOLEAN:OBJECT
-BOOLEAN:VOID
 BOOLEAN:INT,INT
-VOID:BOXED,OBJECT
-VOID:INT,INT
-VOID:OBJECT,OBJECT
 VOID:POINTER,INT,INT
 VOID:INT,UINT,POINTER
 VOID:UINT,UINT,UINT