6543 db0ae5e4fe fix dev script ... use system variable EDITOR to start the default editor		2019-07-13 20:06:14 +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	fix dev script	2019-07-13 20:06:14 +02:00