diff options
| author | Tanaka Akira | 2017-02-07 20:52:50 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2017-02-07 20:52:50 +0900 |
| commit | 3c20f9049d4881a9f16404929e5d135b9ef23ee6 (patch) | |
| tree | a8c819723ebc99c49114cf936383a32f9cd53613 /mathcomp/ssreflect/plugin | |
| parent | 8ec7ab833235c71ac701ad4a4fa09aca87008e4f (diff) | |
remove documentation for subfilter.
subfilter was exist at ssreflect-1.1 and removed at ssreflect-1.2.
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions