Skip to content

Fixing dot formatting bug Issue #24 #25

Merged
merged 1 commit into from Mar 29, 2019
Merged

Fixing dot formatting bug Issue #24 #25

merged 1 commit into from Mar 29, 2019

Conversation

niclas
Copy link
Contributor

@niclas niclas commented Mar 29, 2019

No description provided.

@wwwutz wwwutz merged commit 46559b8 into mariux64:master Mar 29, 2019
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants