diff options
| author | Enrico Tassi | 2019-04-04 11:48:11 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-04-04 11:48:11 +0200 |
| commit | 2b40140bb9c9e2620214fd65144af1c0fef4083a (patch) | |
| tree | 8e15d5c77c39a275715209e4f94e9b4473e58204 /plugin/v8.6/ssreflect_plugin.mlpack | |
| parent | 1dd093cf647e3abdba1da557175e433bdcfaf84a (diff) | |
remove support for Coq 8.6
Diffstat (limited to 'plugin/v8.6/ssreflect_plugin.mlpack')
| -rw-r--r-- | plugin/v8.6/ssreflect_plugin.mlpack | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/plugin/v8.6/ssreflect_plugin.mlpack b/plugin/v8.6/ssreflect_plugin.mlpack deleted file mode 100644 index 006b70f..0000000 --- a/plugin/v8.6/ssreflect_plugin.mlpack +++ /dev/null @@ -1,2 +0,0 @@ -Ssrmatching -Ssreflect |