From 7038e0073e7f7f672644ca949eeda399d6a533fb Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 15 May 2024 09:40:11 -0500 Subject: Update copyright comment to add link to correct license --- lib/common.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/common.ml b/lib/common.ml index adfeee6..72e8085 100644 --- a/lib/common.ml +++ b/lib/common.ml @@ -1,5 +1,5 @@ (* Copyright (c) 2016-2017 David Kaloper Meršinjak. All rights reserved. - See LICENSE.md. *) + See https://github.com/pqwy/notty/blob/master/LICENSE.md *) open Notty open Notty.Infix -- cgit v1.2.3