diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-21 14:53:26 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-09-21 14:53:26 +0200 |
| commit | fa9d33eea03bb59d55ee4dccf4fecb8b1520e69d (patch) | |
| tree | 81dae1f1a005058311f8460e24ea769dd69eede5 /src/versions/native | |
| parent | 7a17276943c42c7997389d4782e457f449bd102e (diff) | |
| download | smtcoq-fa9d33eea03bb59d55ee4dccf4fecb8b1520e69d.tar.gz smtcoq-fa9d33eea03bb59d55ee4dccf4fecb8b1520e69d.zip | |
Typo
Diffstat (limited to 'src/versions/native')
0 files changed, 0 insertions, 0 deletions