aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-15 09:40:11 -0500
committerMarc Coquand <marc@mccd.space>2024-05-15 09:40:11 -0500
commit7038e0073e7f7f672644ca949eeda399d6a533fb (patch)
tree04ece4cb43a9d0aa0537b8ce01099affeda013c2
parent29c06ecd1b2d173f039fd63039b0ccac07c42f2f (diff)
downloadstitch-7038e0073e7f7f672644ca949eeda399d6a533fb.tar.gz
stitch-7038e0073e7f7f672644ca949eeda399d6a533fb.tar.bz2
stitch-7038e0073e7f7f672644ca949eeda399d6a533fb.zip
Update copyright comment to add link to correct license
-rw-r--r--lib/common.ml2
1 files changed, 1 insertions, 1 deletions
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