CONFIG: update completion_cache (for csh users)
- now consider options '-hostRoots', '-roots' to be advanced options that don't need to be in the cache
Please register or sign in to comment
- now consider options '-hostRoots', '-roots' to be advanced options that don't need to be in the cache