diff options
| author | Pierre-Marie Pédrot | 2016-04-08 15:03:53 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-04-08 15:22:53 +0200 |
| commit | 08c04d63f46e4b97c1055e8d066ad08229a484aa (patch) | |
| tree | b450c56ef3f4a7cd0520d07645ef8fd45d01345c /mathcomp/ssreflect/plugin | |
| parent | e9538e31be76c118f1e7aecb53fa89a94132fbdf (diff) | |
Fixing compilation after the merge of PR trunk-function_scope.
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions