benoit 82e0af8a9e Update README CONTRIBUTING RELEASE ... * README: add information pertaining to shell completion; * CONTRIBUTING: remove release information; * RELEASE: create a dedicated file with all the relevant release information.		2023-08-30 10:19:18 +02:00
..
make_readme.sh	Update README CONTRIBUTING RELEASE	2023-08-30 10:19:18 +02:00