The pipe.display user function now uses relax_io.write_data() for better output formatting.
Authored by: bugman 2012-11-14
Parent: [r17959]
Child: [r17961]
