diff options
| author | Quentin Carbonneaux | 2020-05-07 12:26:37 +0200 |
|---|---|---|
| committer | Quentin Carbonneaux | 2020-05-07 13:01:13 +0200 |
| commit | 5e385d0744764cc22c66af898ed11859df0b6225 (patch) | |
| tree | 3f36aa372aad7906dea6732f2b73d063a5fc56e8 /doc/plugin_tutorial/tuto0/src | |
| parent | 2dd59422a4f2ba1d6e75e710b88129751379aa79 (diff) | |
Cleanup formatting in .. coqtop:: directives
Diffstat (limited to 'doc/plugin_tutorial/tuto0/src')
0 files changed, 0 insertions, 0 deletions