Federico Terzi 54f720eca1 Add alternative package provider to avoid GIT problems		2020-03-16 21:18:33 +01:00
..
default.rs	Add alternative package provider to avoid GIT problems	2020-03-16 21:18:33 +01:00
git.rs	Add alternative package provider to avoid GIT problems	2020-03-16 21:18:33 +01:00
mod.rs	Add alternative package provider to avoid GIT problems	2020-03-16 21:18:33 +01:00
zip.rs	Add alternative package provider to avoid GIT problems	2020-03-16 21:18:33 +01:00