diff options
Diffstat (limited to 't/dejagnu-siteexp-useredit.sh')
-rw-r--r-- | t/dejagnu-siteexp-useredit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/t/dejagnu-siteexp-useredit.sh b/t/dejagnu-siteexp-useredit.sh index 6f3a75f08..b8d596641 100644 --- a/t/dejagnu-siteexp-useredit.sh +++ b/t/dejagnu-siteexp-useredit.sh @@ -12,7 +12,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. +# along with this program. If not, see <https://www.gnu.org/licenses/>. # Check that the user can edit the Makefile-generated site.exp, and # have its edits survive to the remaking of that file. |