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