Sergio Laín e92172c27e fish, zsh and other minor changes		2023-07-16 18:24:42 +02:00
..
extensions.json	fish, zsh and other minor changes	2023-07-16 18:24:42 +02:00