diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-08-18 16:11:39 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-18 16:11:39 +0200 |
| commit | 809cf4676c75d9a00f1fcd47e3c7d871a3dec83e (patch) | |
| tree | 56a533d5ba4275ede0cc2adefdf84214bc8b65c3 /plugins/setoid_ring | |
| parent | 7221e3644b2503a8ba5e3c94eb703bd2bf0967b4 (diff) | |
| parent | 2bb2877795ca1b6234dae05fe9b55e68abcd22ea (diff) | |
Merge PR #983: Correct the option for cumulativity in CHANGES
Diffstat (limited to 'plugins/setoid_ring')
0 files changed, 0 insertions, 0 deletions