]> git.saurik.com Git - bison.git/blobdiff - djgpp/config_h.sed
maint: remove useless file
[bison.git] / djgpp / config_h.sed
index 14a74f5869dfb3bb1e4f054ea2db17d4d013d390..f616abce7f0beeffa0bb658b8c0f5f0f42bfcd33 100644 (file)
@@ -1,7 +1,6 @@
 # sed script for DJGPP specific editing of config.hin
 
-# Copyright (C) 2005, 2006, 2007, 2008-2009 Free Software Foundation,
-# Inc.
+# Copyright (C) 2005-2012 Free Software Foundation, Inc.
 
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by