Merged revisions 17960 via svnmerge from
svn+ssh://bugman@.../svn/relax/trunk
........ r17960 | bugman | 2012-11-14 10:20:30 +0100 (Wed, 14 Nov 2012) | 3 lines The pipe.display user function now uses relax_io.write_data() for better output formatting. ........
Authored by: bugman 2012-11-14
Parent: [r17962]
Child: [r17964]
