On Wednesday, June 18, 2014 07:47:48 PM Ethan Anderes wrote: > Yeah, I could try a PR once I get more familiar with the behavior and get > acquainted with GitHub. Cheers!
For documentation, you can just directly edit the file in your webbrowser. Open the file inside doc/, click the little "Edit" box and when you're done it will generate a PR for you. --Tim
