stitch

Note taking for messy minimalists

commit 7038e0073e7f7f672644ca949eeda399d6a533fb
parent 29c06ecd1b2d173f039fd63039b0ccac07c42f2f
Author: Marc Coquand <marc@mccd.space>
Date:   Wed, 15 May 2024 09:40:11 -0500

Update copyright comment to add link to correct license

Diffstat:
M
lib/common.ml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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