[Usa1992P1] add self as author

dwrensha · Nov 17, 2024 · 395996d · 395996d
1 parent 773cf31
commit 395996d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Compfiles/Usa1992P1.lean b/Compfiles/Usa1992P1.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2024 The Compfiles Contributors. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors:
+Authors: David Renshaw
 -/
 
 import Mathlib.Data.Nat.Digits