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

Feature/counters #107

Merged
merged 5 commits into from Jun 14, 2018
Merged
Changes from 1 commit
Commits
File filter
Filter file types
Jump to
Jump to file
Failed to load files.

Always

Just for now

Next
Fix for scroll bar on the menu.
  • Loading branch information
zarembsky authored and IAmThePan committed Jun 14, 2018
commit fcc71aabfa5fcd044b3ddc44f7c4d451bfa2c553
@@ -123,6 +123,7 @@
vertical-align: top;
display: inline-block;
margin-left: 20px;
overflow-y: hidden;
}
a {
display: block;
ProTip! Use n and p to navigate between commits in a pull request.