diff options
author | Martin Možina <martin.mozina@fri.uni-lj.si> | 2018-06-19 20:52:28 +0200 |
---|---|---|
committer | Martin Možina <martin.mozina@fri.uni-lj.si> | 2018-06-19 20:52:28 +0200 |
commit | 64b0ff920ea3248d467c5eb082a213204c2d01c9 (patch) | |
tree | 82e78ca87b46c3ea55c6bd26fc53c88116218246 /dynamic | |
parent | 9f338acfed58e97db36750e49ffbdadba25bd006 (diff) |
Representation of rules.
Diffstat (limited to 'dynamic')
0 files changed, 0 insertions, 0 deletions