diff options
author | Pierre Courtieu <Matafou@users.noreply.github.com> | 2017-07-06 11:26:01 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-06 11:26:01 +0200 |
commit | 9f58c849ff35bd5d96e2db653bede6d44ce1f2a1 (patch) | |
tree | 01bd0ec3a2e156dabe5b3b13ea8e0f1b5e7ec2ba /generic | |
parent | 18e0b4b1e7f752fac9a02b07b8e0bd882fdcce31 (diff) | |
parent | 21c63d1f24d2fccaac6aa9cf1f1c2b03c015fb9e (diff) |
Merge pull request #191 from AndreasLoow/proof-layout-windows-doc-formatting
Formatting fix for proof-layout-windows documentation
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions