Ines Montani b37fdbb613 Clean out /examples and /bin		2020-08-25 13:28:42 +02:00
..
get-package.sh	Add script to get package name	2020-08-24 14:41:49 +02:00
get-version.sh	…
push-tag.sh	…