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.

Sign up for GitHub

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

Jump to bottom

User filtering and many fixes #42

Merged
merged 12 commits into from
May 5, 2015
Merged

User filtering and many fixes #42

merged 12 commits into from
May 5, 2015

Conversation

annejan
Copy link
Member

@annejan annejan commented May 5, 2015

User filtering, mac fixes and more

  • User changes .gpg-id file added to git (when applicable)
  • Windows build fix
  • Environment PATH adding of common missing folders on OS X
  • Push button enabling/disabing

@annejan annejan changed the title Develop Many fixes and user filter May 5, 2015
@annejan annejan changed the title Many fixes and user filter User filtering and many fixes May 5, 2015
annejan added a commit that referenced this pull request May 5, 2015
@annejan
Merge pull request #42 from IJHack/develop
c64cef0 
User filtering and many fixes
@annejan annejan merged commit c64cef0 into master May 5, 2015
@annejan annejan mentioned this pull request May 5, 2015
Closed
annejan added a commit that referenced this pull request Jun 1, 2016
@annejan
Merge pull request #42 from IJHack/develop
e7147f6 
User filtering and many fixes
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@annejan