[env] Speed up env.bash
1 file changed
tree: e76d3d1b810f8a8ddd21fd13b31c062ea77b0450
  1. .gitignore
  2. cleanit
  3. doit
  4. env.bash
  5. patches/
  6. toolvers