Miriam Baglioni 22cb9e0da7 simple code to get file from URL		2020-05-15 18:18:01 +02:00
..
getprogrammefile.sh	simple code to get file from URL	2020-05-15 18:18:01 +02:00
getprojectfile.sh	simple code to get file from URL	2020-05-15 18:18:01 +02:00