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

Essential feature #36

Merged
merged 1 commit into from
Feb 20, 2016
Merged

Essential feature #36

merged 1 commit into from
Feb 20, 2016

Conversation

bb010g
Copy link
Collaborator

@bb010g bb010g commented Feb 19, 2016

No description provided.

@topkecleon
Copy link
Owner

Agreed that this is absolutely essential, but perhaps redundant with ping.lua.
Maybe merge the functionality?

@bb010g
Copy link
Collaborator Author

bb010g commented Feb 20, 2016

Merged, and a EditorConfig thrown in there for good measure.

topkecleon added a commit that referenced this pull request Feb 20, 2016
@topkecleon topkecleon merged commit 2fee3c9 into topkecleon:master Feb 20, 2016
@bb010g bb010g deleted the patch-1 branch February 26, 2016 04:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants