#
# ChangeLog for utils/install_dev_env.sh
#
# Generated by Trac 1.0.1
# 2024-04-27T11:34:02+02:00

Wed, 07 Nov 2018 15:52:26 GMT nicolasmartin [10287]
	* utils/install_dev_env.sh (modified)

	Set property to execute the script


Wed, 07 Nov 2018 15:30:27 GMT nicolasmartin [10286]
	* utils/install_dev_env.sh (added)

	Add bash script to download a clean developpement environment, should
	be ...