aboutsummaryrefslogtreecommitdiff
path: root/ext/js/display
diff options
context:
space:
mode:
authorThermospore <35350819+Thermospore@users.noreply.github.com>2021-07-19 14:42:12 -0800
committerGitHub <noreply@github.com>2021-07-19 18:42:12 -0400
commit2d367140938f6501430c6fcb96faef797e75789c (patch)
treeff36a096138fd9485a3f160386f557a1396973b5 /ext/js/display
parent2ee3e3a7a18cc8cb71febe3030c149e0280ed9a7 (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/display')
0 files changed, 0 insertions, 0 deletions