Manuel Thalmann 56e56c5cea Convert extension scripts to fish		2024-09-22 23:04:03 +02:00
..
main.fish	Convert extension scripts to fish	2024-09-22 23:04:03 +02:00