diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-09-11 19:28:59 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-11 19:32:12 +0200 |
| commit | a18e8fb2d31e8cdd967c53a010c79dc6f104da2a (patch) | |
| tree | 11f693b71ed5f67ef002c4bbd87a38a6a1eb8755 /subprojects/store-reasoning/src/main/java/tools | |
| parent | feat: cancellation token for ModelStore (diff) | |
| download | refinery-a18e8fb2d31e8cdd967c53a010c79dc6f104da2a.tar.gz refinery-a18e8fb2d31e8cdd967c53a010c79dc6f104da2a.tar.zst refinery-a18e8fb2d31e8cdd967c53a010c79dc6f104da2a.zip | |
fix: avoid GLOP error message on stderr
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools')
0 files changed, 0 insertions, 0 deletions