diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-12 10:05:55 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-03-12 10:05:55 +0100 |
| commit | 47b94aeba09083cb94d996c6758fa0d5ab64ecf3 (patch) | |
| tree | 85c4dc9bd8a8ac27c8522c56d99057264c0142b4 /.gitignore | |
| parent | 312b57ac25e083c890c9dd01a25e9313d3068f0b (diff) | |
prolog_session: check for generic hints after specific
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions