Jörg Thalheim d29b7d91d9 phonetisaurus: init at 2020-07-31 ... Co-authored-by: Martin Weinelt <mweinelt@users.noreply.github.com>		2020-08-01 19:56:25 +01:00
..
default.nix	…