« Previous | Next » 

Revision de36f091

IDde36f091a8a43e15f7f9e53f7522e8047126cb22

Added by Jose A. Lopes over 10 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