Undid CHANGELOG addition re Not documentation.

Since no change is going in the CHANGELOG, I also thought there was no need to include my name in CONTRIBUTORS. It's a tiny contribution-- mostly written by someone else.
idris-lang · Aug 15, 2023 · 852aebb · 852aebb
1 parent dbb178b
commit 852aebb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -25,7 +25,6 @@
 * Adds documentation for unquotes `~( )`.
 * Adds documentation for laziness and codata primitives: `Lazy`, `Inf`, `Delay`,
   and `Force`.
-* Adds documentation for `Not`.
 
 ### Backend changes
 

diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -37,7 +37,6 @@ Kevin Boulain
 LuoChen
 Marc Petit-Huguenin
 MarcelineVQ
-Marshall Abrams
 Marshall Bowers
 Mathew Polzin
 Matthew Wilson