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