From db68fd7f8dd17fda410ea06e7076e11ee2c57afc Mon Sep 17 00:00:00 2001 From: Artyom Shalkhakov Date: Mon, 7 Jan 2019 20:03:42 +0200 Subject: Fixing the author in copyright blurb. --- src/endpoints.sig | 2 +- src/endpoints.sml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/endpoints.sig b/src/endpoints.sig index 852f78ce..f2c3c305 100644 --- a/src/endpoints.sig +++ b/src/endpoints.sig @@ -1,4 +1,4 @@ -(* Copyright (c) 2010, Adam Chlipala +(* Copyright (c) 2019, Artyom Shalkhakov * All rights reserved. * * Redistribution and use in source and binary forms, with or without diff --git a/src/endpoints.sml b/src/endpoints.sml index c4a31738..bb0b1d66 100644 --- a/src/endpoints.sml +++ b/src/endpoints.sml @@ -1,4 +1,4 @@ -(* Copyright (c) 2010, 2013, Adam Chlipala +(* Copyright (c) 2019 Artyom Shalkhakov * All rights reserved. * * Redistribution and use in source and binary forms, with or without -- cgit v1.2.3