diff options
| author | Enrico | 2017-03-21 15:37:14 +0100 |
|---|---|---|
| committer | GitHub | 2017-03-21 15:37:14 +0100 |
| commit | 6a10f893dd9b662c25fefe1ab1e8344639dc6722 (patch) | |
| tree | 9f7bd047fdb6e93bbdb9f960234d1439958b8941 /mathcomp/_CoqProject | |
| parent | a3eefabd1a26d2d8b92ceafee839fa2811ed4605 (diff) | |
| parent | c1ce5e0ea55f0f3eaff83210d2e8d0c7d2ca93ec (diff) | |
Merge pull request #111 from ejgallego/safe_string
Compile with -safe-string
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions