Skip to content

fixed #700 - Vagrant dev: Adding some usefull scripts for the vagrant user

Fabrice Gangler requested to merge 700_vagrant-dev_usefull-scripts into develop

/home/vagrant/ 00_bin/20_psql_access.to.the.database.sh 00_bin/30_database_reload.sh 00_bin/50_TU_launch.unit.tests.sh 00_bin/60_TF_launch.functional.tests.sh run

Merge request reports