Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Add page about editor configuration #106

Chris00 opened this Issue Feb 4, 2013 · 0 comments


None yet
1 participant

Chris00 commented Feb 4, 2013

As raised in issue #105 it will be nice to add a page about various editor configurations. For example, the lack of single line comment may be alleviated thanks to a simple editor tweak.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment