summaryrefslogtreecommitdiff
path: root/web
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-16 14:22:26 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-03-16 14:22:26 +0100
commit7267e65d4257402000e6b163291028e191907580 (patch)
treedbbfefb7123833d390048d8af82a84b065c037fb /web
parent4f626b88af126ef0749c3f7a0ee89dab16cde30d (diff)
PrologSession: remove unused attribute
Diffstat (limited to 'web')
0 files changed, 0 insertions, 0 deletions