« Previous | Next » 

Revision 8df239df

ID8df239df1cacfe11d0b69d8b845589d3c3959ff5

Added by Stavros Sachtouris about 10 years ago

Encode list/item prints in user-defined encoding

Refs: #5150

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences