diff options
Diffstat (limited to 'lib/am/dejagnu.am')
| -rw-r--r-- | lib/am/dejagnu.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/am/dejagnu.am b/lib/am/dejagnu.am index 04e97e2b1..4aa8f9cc2 100644 --- a/lib/am/dejagnu.am +++ b/lib/am/dejagnu.am @@ -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/>. ## Name of tool to use. Default is the same as the package. DEJATOOL = $(PACKAGE) |