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 /plugins/setoid_ring | |
| 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 'plugins/setoid_ring')
0 files changed, 0 insertions, 0 deletions