diff options
| author | Emilio Jesus Gallego Arias | 2017-02-06 17:56:18 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-02-21 23:23:56 +0100 |
| commit | c7c6619bfec5d8729e40a0b0848ded4251fd7e09 (patch) | |
| tree | 8742f33959124199b2ae7dc14ddba9bba7c78f5e /mathcomp/_CoqProject | |
| parent | c023d240b9eb4e203f442d474beb76745c4acfa0 (diff) | |
Use pp_with as msg_with is being removed upstream.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions