Add a shortcut for ‘Erdős’
- ID
2e80fea- date
2025-01-11 08:27:22+00:00- author
Alex Chan <alex@alexwlchan.net>- parent
669663e- message
Add a shortcut for 'Erdős'- changed files
1 file, 1 addition
Changed files
create_snippets.py (7699) → create_snippets.py (7722)
diff --git a/create_snippets.py b/create_snippets.py
index 530da26..a6fe9b3 100755
--- a/create_snippets.py
+++ b/create_snippets.py
@@ -130,6 +130,7 @@ SNIPPETS = {
"Ebay": "eBay",
"El Otro Periodico": "El Otro Periódico",
"Elasticache": "ElastiCache",
+ "Erdos": "Erdős",
"Eventbridge": "EventBridge",
"Facetime": "FaceTime",
"FastMail": "Fastmail",