log libgui/src/terminal-dock-widget.cc @ 16460:4d4e7c6f839d

age author description
Sun, 07 Apr 2013 12:07:10 -0400 John W. Eaton use consistent names for dock-widget files base libgui/src/terminal-dockwidget.cc@6895eb04209f