summaryrefslogtreecommitdiff
path: root/web/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-12 10:05:55 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-12 10:05:55 +0100
commit47b94aeba09083cb94d996c6758fa0d5ab64ecf3 (patch)
tree85c4dc9bd8a8ac27c8522c56d99057264c0142b4 /web/.gitignore
parent312b57ac25e083c890c9dd01a25e9313d3068f0b (diff)
prolog_session: check for generic hints after specific
Diffstat (limited to 'web/.gitignore')
0 files changed, 0 insertions, 0 deletions