Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Setup: change #inter#face to #interface #1675
We should change that to:
so that folks can simply remove the comment mark at the beginning of the line.
I think that second comment mark may have been trying to avoid a match here:
If that's all we were trying to avoid, we could simply change the grep to:
But we should probably double-check that there are no extra corner cases lurking somewhere.