Dev server hotwords (#1033)

Yabin Li

2023-10-23 6eb0dfced4ab87b3fd831affd806aad84d37dc1f

1
2
3
4
5
6
7
z.B.    zum beispiel
d.h.    dass heißt
Dr.    doktor
Mr.    mister
Mrs.    misses
Ms.    miss
Nr.    nummer