Closed gvx closed 9 years ago
please also merge #15
(The Github webinterface doesn't work the way I hoped it would, sorry about all these PRs)
thanks @gvx, content change can be merged without risking broken links!
please also merge #15
(The Github webinterface doesn't work the way I hoped it would, sorry about all these PRs)