comparison src/oct-map.cc @ 13504:13e3d60aff2d

Replaced Quint with OctaveGUI.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Sun, 17 Jul 2011 20:27:03 +0200
parents 12df7854fa7c
children e652ff4d1522
comparison
equal deleted inserted replaced
13503:5ab40ef3d241 13504:13e3d60aff2d