summaryrefslogtreecommitdiff
path: root/server
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-15 22:05:07 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-05-15 22:05:07 +0200
commit13cc62c244a35fefe3c6995ad16a09275b984f8d (patch)
tree0d4d82b2fd2224586420231582eb6271155c7ec3 /server
parent53f1b9251440b263d1605b86090e71cf09f6aad1 (diff)
Support a | b notation for DCGs
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions