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	Add get-version script	2019-08-25 15:12:36 +02:00
push-tag.sh	…