Davide De Rosa 20d6d6747e Bump version ... Take from command line, not file (unused after `1d3071b`).		2018-10-10 18:59:50 +02:00
..
set_version.sh	Bump version	2018-10-10 18:59:50 +02:00