Skip to content
This repository has been archived by the owner on Mar 15, 2020. It is now read-only.

Some GUI fix #28

Merged
merged 2 commits into from Jul 27, 2017
Merged

Some GUI fix #28

merged 2 commits into from Jul 27, 2017

Conversation

dnkorpushov
Copy link
Collaborator

No description provided.

@dnkorpushov dnkorpushov merged commit 8c99ba7 into master Jul 27, 2017
@dnkorpushov dnkorpushov deleted the gui-feature branch July 27, 2017 14:53
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant