diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-04-08 12:07:36 +0200 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2017-04-08 12:07:47 +0200 |
| commit | 2c0287fe8445bd4b599bf8498bcb71b2a7df0d51 (patch) | |
| tree | cc942233451a0e9670999a965f7b625f209b64ea /vernac/lemmas.ml | |
| parent | 197a45551c133b5b386188bdf1d6a3739a6a3561 (diff) | |
Update the .mailmap file.
Diffstat (limited to 'vernac/lemmas.ml')
0 files changed, 0 insertions, 0 deletions