Martchus ffe8cccf62 Remove no longer needed patch for pocketsphinx		2023-08-01 16:49:51 +02:00
..
default	Remove no longer needed patch for pocketsphinx	2023-08-01 16:49:51 +02:00