chiark / gitweb /
Merge pull request #139 from jschueller/doc
authorJulien Schueller <schueller@phimeca.com>
Sun, 10 Sep 2017 07:10:53 +0000 (09:10 +0200)
committerGitHub <noreply@github.com>
Sun, 10 Sep 2017 07:10:53 +0000 (09:10 +0200)
commiteb13b3c7db764f67745ae01321cfae00308108b8
tree487a3464e303470ce8cc4de68e47bdf3c178d43e
parent101c69f5d4819e7445f8645456e744e14aaa2dd6
parentfe28633dc7d18a20527c2e87d0b225315eaeb4d9
Merge pull request #139 from jschueller/doc

Update doc