diff options
| author | Enrico Tassi | 2018-04-20 14:15:22 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-04-20 14:15:22 +0200 |
| commit | e418a8b26b66ce88e22cff5978823e25aab03d94 (patch) | |
| tree | d2572c693f576f5e0e2a025152e3e1231528469c /mathcomp/ssreflect/plugin/trunk | |
| parent | 536499fe46edbe2c0473b81ba5f7cc15b4ff9edf (diff) | |
remove ssr plugin for 8.4 and 8.5
Diffstat (limited to 'mathcomp/ssreflect/plugin/trunk')
| -rw-r--r-- | mathcomp/ssreflect/plugin/trunk/ssreflect_plugin.mlpack | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/mathcomp/ssreflect/plugin/trunk/ssreflect_plugin.mlpack b/mathcomp/ssreflect/plugin/trunk/ssreflect_plugin.mlpack deleted file mode 100644 index 006b70f..0000000 --- a/mathcomp/ssreflect/plugin/trunk/ssreflect_plugin.mlpack +++ /dev/null @@ -1,2 +0,0 @@ -Ssrmatching -Ssreflect |