You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We open and close a file for every line. This can be needlessly slow if one file has lots of matching lines. I wonder if there's an elegant way of optimizing that.