diff options
Diffstat (limited to 'gui/gui-manager.h')
| -rw-r--r-- | gui/gui-manager.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gui/gui-manager.h b/gui/gui-manager.h index ac4118bb06..10f9e6a29f 100644 --- a/gui/gui-manager.h +++ b/gui/gui-manager.h @@ -17,9 +17,6 @@ * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. - * - * $URL$ - * $Id$ */ #ifndef GUIMANAGER_H |