From 84ae7466a42ff7044e8df1dbe8d6fd9a2ee9feff Mon Sep 17 00:00:00 2001 From: Mac Malone Date: Sat, 29 May 2021 09:07:42 -0400 Subject: [PATCH] Update Authors --- Leanpkg2/Manifest.lean | 2 +- Leanpkg2/Resolve.lean | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Leanpkg2/Manifest.lean b/Leanpkg2/Manifest.lean index 3efa16cd6e..d052ff79b3 100644 --- a/Leanpkg2/Manifest.lean +++ b/Leanpkg2/Manifest.lean @@ -1,7 +1,7 @@ /- Copyright (c) 2017 Microsoft Corporation. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. -Authors: Gabriel Ebner, Sebastian Ullrich +Authors: Gabriel Ebner, Sebastian Ullrich, Mac Malone -/ import Leanpkg2.Toml import Leanpkg2.LeanVersion diff --git a/Leanpkg2/Resolve.lean b/Leanpkg2/Resolve.lean index a127adb605..79a6d21cee 100644 --- a/Leanpkg2/Resolve.lean +++ b/Leanpkg2/Resolve.lean @@ -1,7 +1,7 @@ /- Copyright (c) 2017 Microsoft Corporation. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. -Authors: Gabriel Ebner, Sebastian Ullrich +Authors: Gabriel Ebner, Sebastian Ullrich, Mac Malone -/ import Leanpkg2.Manifest import Leanpkg2.Proc