6543 3643b745ae update dev script set_version ... now also has to update the output of --version|-V		2019-07-13 20:37:01 +02:00
..
add_function.sh	add script	2018-05-20 21:16:19 +02:00
add_project.sh	add proj gen script	2018-05-21 16:16:07 +02:00
get_version.sh	subvers	2018-05-20 20:32:55 +02:00
set_version.sh	update dev script set_version	2019-07-13 20:37:01 +02:00