Closed eggrobin closed 10 years ago
Apparently my IDE changed the indentation a bit. We don't use the same coding style (I follow something inspired by the Google C++ Style Guide), so you might want to pretty-print from time to time.
Apparently my IDE changed the indentation a bit. We don't use the same coding style (I follow something inspired by the Google C++ Style Guide), so you might want to pretty-print from time to time.