diff options
Diffstat (limited to 'rand/Makefile.am')
| -rw-r--r-- | rand/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rand/Makefile.am b/rand/Makefile.am index 844bd81e8..5bf49ddb2 100644 --- a/rand/Makefile.am +++ b/rand/Makefile.am @@ -15,7 +15,7 @@ # License for more details. # # You should have received a copy of the GNU Lesser General Public License -# along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. +# along with the GNU MP Library. If not, see https://www.gnu.org/licenses/. INCLUDES = -D__GMP_WITHIN_GMP -I$(top_srcdir) |