diff options
| author | Théo Zimmermann | 2018-10-01 11:54:22 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-01 11:54:22 +0200 |
| commit | 9134d94d42bafd38dfcc6a09a99edd554e636b55 (patch) | |
| tree | f945ea81de26d9748e833762b87789f62e77ea5f /plugins/syntax | |
| parent | cce3f57a9f0299e9010ea5af666f8e9e7055fc34 (diff) | |
| parent | 02c3cac9fa4f4e88f911486e345740ff7d0a2eab (diff) | |
Merge PR #8301: Documentation for proof diffs
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions