From 5f3c438665f20f7fa0ad17c35b87946426a0cc45 Mon Sep 17 00:00:00 2001
From: Justin Gassner <justin.gassner@mailbox.org>
Date: Wed, 18 Oct 2023 21:32:54 +0200
Subject: Initial commit

---
 names.txt | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 names.txt

diff --git a/names.txt b/names.txt
new file mode 100644
index 0000000..f5a36a8
--- /dev/null
+++ b/names.txt
@@ -0,0 +1,9 @@
+Baire
+Gassner
+Gårding
+Munkres
+Sobolev
+Steinhaus
+Takesaki
+Tomita
+Wightman
-- 
cgit v1.2.3-54-g00ecf