diff src/pr-output.cc @ 13504:13e3d60aff2d

Replaced Quint with OctaveGUI.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Sun, 17 Jul 2011 20:27:03 +0200
parents 7a5aacf65f81
children 801c5a6ad487
line wrap: on
line diff