Synchronize frontends with library.
commit1ae6d0970927550895ab65e005690d9fcd039f18
authorWerner Lemberg <wl@gnu.org>
Thu, 13 Sep 2012 05:42:03 +0000 (13 07:42 +0200)
committerWerner Lemberg <wl@gnu.org>
Thu, 13 Sep 2012 05:42:03 +0000 (13 07:42 +0200)
treee16e3127e97af6100ea4ea43d0862fa732d988a9
parent4136158640d6f083297a537d3b09519f2bc11c49
Synchronize frontends with library.

Problem reported by Zack Weinberg <zackw@panix.com>.
frontend/info.h
frontend/main.cpp
frontend/maingui.cpp
frontend/maingui.h