diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-08-07 11:04:07 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-08-07 11:04:07 +0200 |
| commit | 51bc3d21498afe69f5545d52227e5165928301c8 (patch) | |
| tree | 218f3f371b0e09281f1ecd774378db6aa16e3b76 /tactics/tacinterp.ml | |
| parent | fb29084052da03308fe45a918c55b86627ba54b6 (diff) | |
Add some more entries to .mailmap
Diffstat (limited to 'tactics/tacinterp.ml')
0 files changed, 0 insertions, 0 deletions