Remove TagType
authorJose A. Lopes <jabolopes@google.com>
Thu, 1 Aug 2013 13:42:19 +0000 (15:42 +0200)
committerJose A. Lopes <jabolopes@google.com>
Wed, 7 Aug 2013 07:41:52 +0000 (09:41 +0200)
commitd9f1d93c2e7c0019caf870d658595c31ace6f6f5
tree0829e86b0de414defc696409792a1338d667223e
parentde36f091a8a43e15f7f9e53f7522e8047126cb22
Remove TagType

By removing 'TagObject' in the previous patch, 'TagType' also became
useless, since it was only used by 'TagObject'. This patch removes 'TagType'.

Signed-off-by: Jose A. Lopes <jabolopes@google.com>
Reviewed-by: Guido Trotter <ultrotter@google.com>
src/Ganeti/OpParams.hs