diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-15 22:05:07 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-05-15 22:05:07 +0200 |
| commit | 13cc62c244a35fefe3c6995ad16a09275b984f8d (patch) | |
| tree | 0d4d82b2fd2224586420231582eb6271155c7ec3 /scripts/deploy/codeq_refresh_and_deploy.sh | |
| parent | 53f1b9251440b263d1605b86090e71cf09f6aad1 (diff) | |
Support a | b notation for DCGs
Diffstat (limited to 'scripts/deploy/codeq_refresh_and_deploy.sh')
0 files changed, 0 insertions, 0 deletions