log gui/src/documentation-dockwidget.h @ 15155:9e62d5a3a45e gui

age author description
Sat, 11 Aug 2012 11:02:12 -0400 John W. Eaton partial cleanup of include files in gui sources gui
Mon, 30 Jul 2012 19:27:14 +0200 Jacob Dawid Integrated texinfo browser from QtOctave. gui