Fetch deps from an HTTPS mirror rather than FTP
1 file changed
tree: 1b4a5fd1c25423c1a3b1ed4fbfb0817c8fb626ed
  1. patches/
  2. .gitignore
  3. cleanit
  4. doit
  5. env.bash
  6. toolvers