« Previous | Next » 

Revision 8e4968ca

ID8e4968ca101dd203a0ca20f82ce787dbab787925

Added by Jose A. Lopes over 7 years ago

Remove Python type predicate 'NoType'

Type predicate 'NoType' is no longer necessary.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences