From 22a7cffd129da8445a14a2d27e25d6a87888f688 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 7 Mar 2022 08:31:24 +0100 Subject: [PATCH] Correct names --- TUTORIAL.md | 2 +- historical/codec.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/TUTORIAL.md b/TUTORIAL.md index 0c954b5..04fb005 100644 --- a/TUTORIAL.md +++ b/TUTORIAL.md @@ -3,7 +3,7 @@ no_site_title: true title: "Preserves: a tutorial" --- -By Christopher Lemmer Webber and Tony Garnock-Jones +By Christine Lemmer Webber and Tony Garnock-Jones August 2019. *This document, like Preserves itself, is released under* diff --git a/historical/codec.md b/historical/codec.md index 51e8076..c53b142 100644 --- a/historical/codec.md +++ b/historical/codec.md @@ -13,7 +13,7 @@ h2 { border-bottom: solid black 1px; } # SPKI CAT: SPKI S-Expressions with Canonical Atom Tags Tony Garnock-Jones -Christopher Lemmer Webber +Christine Lemmer Webber May 2018 Version 0.0.1