diff options
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index da47d98d..d7c1074d 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -176,6 +176,7 @@ Pierluigi <82404704+IoSonoPiero@users.noreply.github.com> Plamen Dimitrov <pdimitrov@pevogam.com> Poliorcetics <poliorcetics@users.noreply.github.com> postmath <postmath@users.noreply.github.com> +printfn <1643883+printfn@users.noreply.github.com> Qiming Xu <33349132+xqm32@users.noreply.github.com> Rain <rain@sunshowers.io> Ramses <ramses@well-founded.dev> |