diff options
| author | Pierre-Marie Pédrot | 2019-06-04 10:35:14 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-06-04 11:16:17 +0200 |
| commit | 1cdfb1f9270e399a784b346c3f8d6abbc4477552 (patch) | |
| tree | f11a76b43b4ea825287d22ae15e8d0fe50968d50 /doc/plugin_tutorial/tuto1/_CoqProject | |
| parent | 0f54a91eac98baf076d8be8f52bccdb1de17ea46 (diff) | |
Remove the discharge segment from vo files.
Since the introduction of delayed section substitution, the opaque table
was already containing the same information.
Diffstat (limited to 'doc/plugin_tutorial/tuto1/_CoqProject')
0 files changed, 0 insertions, 0 deletions