diff options
Diffstat (limited to 'tools/get_patches.sh')
-rwxr-xr-x | tools/get_patches.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/get_patches.sh b/tools/get_patches.sh index 7bb3e8793..cf3912ee7 100755 --- a/tools/get_patches.sh +++ b/tools/get_patches.sh @@ -20,7 +20,7 @@ License for more details. You should have received a copy of the GNU Lesser General Public License along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see -http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., +https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ #include "mpfr-impl.h" |