AleaJactaEst 6eda63e517 update script mysql (to manage debian 8 or 9)		2018-04-05 22:34:26 +02:00
..
common	adding script to download artefacts	2018-04-05 22:21:55 +02:00
debian	update script mysql (to manage debian 8 or 9)	2018-04-05 22:34:26 +02:00