replaces German Umlauts with their TeX encodings on save - View it on GitHub
Star
1
Rank
4950731