diff options
| author | Sergey M․ <dstftw@gmail.com> | 2019-05-23 23:38:01 +0700 |
|---|---|---|
| committer | Sergey M․ <dstftw@gmail.com> | 2019-05-23 23:38:01 +0700 |
| commit | 9c5f2988b91609d49f7010ac580376f42e01d4f1 (patch) | |
| tree | 3f2ebb143becfd968bbf89fea359f0b040140ba1 /AUTHORS | |
| parent | afd4985f72a6641907aee1cd0b4b42da524b0ff4 (diff) | |
[criterion] Remove extractor (closes #21195)
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions