diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-11 10:59:06 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-11 10:59:06 +0200 |
commit | ff25687349139a4811bfe3e9053d1516557f1b2e (patch) | |
tree | 6457ecb86bf65e681debdff71819b6f6c5cdf9ad /prolog | |
parent | a0a1835ff6552820c5859fc79b8a0a3dbc522a31 (diff) |
s/hint_defs/hint_type/g
Diffstat (limited to 'prolog')
0 files changed, 0 insertions, 0 deletions