of the floating point routines in libgcc1.c for targets without
hardware floating point. */
-/* Copyright 1994, 1997, 1998, 2003, 2007, 2008, 2009, 2010, 2011
- Free Software Foundation, Inc.
+/* Copyright 1994-2013 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