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

Small doc corrections. #127

Merged
merged 2 commits into from Mar 8, 2016
Merged

Small doc corrections. #127

merged 2 commits into from Mar 8, 2016

Conversation

dereuromark
Copy link
Collaborator

Also simplified and corrected the editorconfig.

burzum added a commit that referenced this pull request Mar 8, 2016
@burzum burzum merged commit 9e08e4a into burzum:1.1 Mar 8, 2016
@burzum
Copy link
Owner

burzum commented Mar 8, 2016

Thank you!

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

2 participants