diff options
| author | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2020-11-03 10:22:57 +0100 |
|---|---|---|
| committer | Rasmus Dahlberg <rasmus.dahlberg@kau.se> | 2020-11-03 10:22:57 +0100 |
| commit | 1132536be92df9833ccaa72683eaa7e74e10b9e3 (patch) | |
| tree | b0a2f02226b12ef053e44a2f84ba9fc37200948c /descriptor/stfe.json | |
| parent | c210c80e80231143f6eaa0f39e8e1d3303983791 (diff) | |
fixed FindLog such that it uses a list of operators
Diffstat (limited to 'descriptor/stfe.json')
0 files changed, 0 insertions, 0 deletions