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 /build.sh | |
| 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 'build.sh')
0 files changed, 0 insertions, 0 deletions