| commit | d91ebb6ec3f8a197e4c2c47fd7e37d7e48b65c13 | [log] [tgz] |
|---|---|---|
| author | Stefano Puri <stefano.puri@intecs.it> | Thu Mar 26 12:29:55 2020 +0100 |
| committer | Stefano Puri <stefano.puri@intecs.it> | Thu Mar 26 12:29:55 2020 +0100 |
| tree | eb68ea81a20bc0780dccc8854d0eba4e3f8f6106 | |
| parent | c3399d8b0d19007687680885c9ef0f6d758f77ca [diff] |
support for wildcard as reward state property Signed-off-by: Stefano Puri <stefano.puri@intecs.it>