diff options
| author | Pierre-Marie Pédrot | 2020-05-01 16:38:21 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-03 13:09:50 +0200 |
| commit | ea11e308be5f7410ea0f032736eb6ec2e686abbe (patch) | |
| tree | b5249a09ace033e1f19c6d2665e2563c169dee3a /doc/plugin_tutorial/tuto1/_CoqProject | |
| parent | 2d00c8b07957206040dbc71598439a601eef4161 (diff) | |
Remove legacy API in SSR.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/_CoqProject')
0 files changed, 0 insertions, 0 deletions