diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-07-15 14:14:14 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-07-15 14:37:36 +0200 |
| commit | 89c36d2982c6f163a4be380eedd8e13fbc0dc156 (patch) | |
| tree | a02d0943bd6db8d58e716b48f21666ab13eae59a /subprojects/store-reasoning/src/main/java/tools | |
| parent | feat: base indexer for store (diff) | |
| download | refinery-89c36d2982c6f163a4be380eedd8e13fbc0dc156.tar.gz refinery-89c36d2982c6f163a4be380eedd8e13fbc0dc156.tar.zst refinery-89c36d2982c6f163a4be380eedd8e13fbc0dc156.zip | |
feat: use base index for local search
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools')
0 files changed, 0 insertions, 0 deletions