diff options
Diffstat (limited to 'lib/argmatch.c')
-rw-r--r-- | lib/argmatch.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/argmatch.c b/lib/argmatch.c index 67ef88c10c..59858ec681 100644 --- a/lib/argmatch.c +++ b/lib/argmatch.c @@ -14,7 +14,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/>. */ /* Written by David MacKenzie <djm@ai.mit.edu> Modified by Akim Demaille <demaille@inf.enst.fr> */ |