Manuel Thalmann 694fac8edb Fix incorrect file extension for fish		2024-03-25 18:07:40 +01:00
..
profile.sh	Fix incorrect file extension for fish	2024-03-25 18:07:40 +01:00