diff options
| author | Anton Trunov | 2018-11-23 10:16:12 +0100 |
|---|---|---|
| committer | Anton Trunov | 2018-12-04 14:25:53 +0100 |
| commit | efbcb84f3ddfea53b7b914284d8fa80fdb7a56fd (patch) | |
| tree | 6c60e0b59dcf16b096ad284ea09f3e888a9833d2 /mathcomp/_CoqProject | |
| parent | 79aa2b1ab5b233f103cd3e402094cd93d9028866 (diff) | |
Remove pack constructors
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions