Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Detect alignment #537

merged 17 commits into from Aug 9, 2019

ignore brew log (in dir in CI services).

  • Loading branch information...
lorenzwalthert committed Aug 9, 2019
commit fc7c666cca777849d600ec81a922be0733f33c2b
@@ -18,3 +18,4 @@ revdep
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.