diff options
| author | Georges Gonthier | 2015-12-04 15:27:04 +0000 |
|---|---|---|
| committer | Georges Gonthier | 2015-12-04 15:27:04 +0000 |
| commit | e22704b1c0bd58d7d15a85e5dd0487a056099ad3 (patch) | |
| tree | 9fc01705558a18330633bdc8cccc95d3d5ed93fa /mathcomp/ssreflect/plugin | |
| parent | 19ac0629d643f85ed1ec2db86f991c848ef3bbbd (diff) | |
Ignore emacs checkpoints
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions