diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-10 15:56:27 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-08-29 15:16:30 +0200 |
commit | d2b1443e6540348e2efa822fe55bb1185c63d8ce (patch) | |
tree | cea90ccd3e7ad283fdfdd9ef59c693c0a0d7c7bc /test-suite/bugs/closed/2602.v | |
parent | a980d38681f7ab9bfd8a180f2252ce573e3ff211 (diff) |
Move dev/doc/changes to Markdown.
And remove old French part.
And move part about the plugin API to the right section.
Diffstat (limited to 'test-suite/bugs/closed/2602.v')
0 files changed, 0 insertions, 0 deletions