diff options
Diffstat (limited to '.gdbinit')
| -rw-r--r-- | .gdbinit | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -3,9 +3,9 @@ # This file is part of the GNU MP Library. # # The GNU MP Library is free software; you can redistribute it and/or modify -# it under the terms of the GNU Lesser General Public License as published by -# the Free Software Foundation; either version 3 of the License, or (at your -# option) any later version. +# it under the terms of the GNU Lesser General Public License as published +# by the Free Software Foundation; either version 3 of the License, or (at +# your option) any later version. # # The GNU MP Library is distributed in the hope that it will be useful, but # WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY |