Learn more about cloning repositories
You have read-only access
Fix a bug pointed out by Michal Jaegermann <michal@ellpspace.math.ualberta.ca> where you used to see: ./grep -q -i B some_file B: No such file or directory This is now fixed. -Erik