Update front-ends to be in sync with previous commit.
commit4fd406aa5b8d356f69550ae147b2f3763aac88fd
authorWerner Lemberg <wl@gnu.org>
Fri, 26 Sep 2014 09:07:00 +0000 (26 11:07 +0200)
committerWerner Lemberg <wl@gnu.org>
Fri, 26 Sep 2014 09:07:00 +0000 (26 11:07 +0200)
tree041b2459ecfb5eae7a000e8b2038dda98ab49219
parentb3765beed3d9b789eaf3dc3bb4a1a594cbf70f3b
Update front-ends to be in sync with previous commit.
frontend/info.cpp
frontend/info.h
frontend/main.cpp
frontend/maingui.cpp
frontend/maingui.h