diff options
author | Andrew Dolgov <[email protected]> | 2020-12-11 09:48:34 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2020-12-11 09:48:34 +0300 |
commit | 65254f5db47ce3fb8ce1bf9c4bbda2cd6f977cf8 (patch) | |
tree | 5f5fcb685db155a2e47740a205dd27516b55e8f8 /js/PrefFilterTree.js | |
parent | 43bd3394c31ed67cafddd2c147144bdb67f32477 (diff) |
- move sphinx plugin to a separate repo
- regenerate config checks without sphinx-related variables
Diffstat (limited to 'js/PrefFilterTree.js')
0 files changed, 0 insertions, 0 deletions