diff options
author | Thermospore <35350819+Thermospore@users.noreply.github.com> | 2021-07-19 14:42:12 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-19 18:42:12 -0400 |
commit | 2d367140938f6501430c6fcb96faef797e75789c (patch) | |
tree | ff36a096138fd9485a3f160386f557a1396973b5 /ext/js/background/background-main.js | |
parent | 2ee3e3a7a18cc8cb71febe3030c149e0280ed9a7 (diff) |
List `vz` rule identifier in term bank schema (#1843)
Also could you describe the purpose of the `iru` rule identifier further?
Diffstat (limited to 'ext/js/background/background-main.js')
0 files changed, 0 insertions, 0 deletions