Closed vedangpatel1 closed 4 years ago
There are a few places where spaces are used instead of tabs. Make sure we use tabs everywhere.
This PR looks good to me. Since it is very simple I'll go ahead and merge it now. Thanks @vedangpatel1!
There are a few places where spaces are used instead of tabs. Make sure we use tabs everywhere.