« Previous | Next » 

Revision de36f091

IDde36f091a8a43e15f7f9e53f7522e8047126cb22

Added by Jose A. Lopes over 7 years ago

Remove TagObject

The 'TagObject' datatype became useless because it was replaced by
'TagKind'. This patch removes 'TagObject', its 'Arbitrary' instance,
and related functions.

Signed-off-by: Jose A. Lopes <>
Reviewed-by: Guido Trotter <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences