summaryrefslogtreecommitdiff
path: root/web/.gitignore
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-09-18 19:30:20 +0200
committerAleš Smodiš <aless@guru.si>2015-09-18 19:30:20 +0200
commitdce8ec719b1d85acf3c753effae3f28629dd847c (patch)
tree33d34df11ad9a666d8734b51b6467adc07cbcbb5 /web/.gitignore
parent194ef383e2a61b8c9dcf85bc5ca0fc377089d349 (diff)
Set problems path via CODEQ_PROBLEMS environment variable.
Diffstat (limited to 'web/.gitignore')
0 files changed, 0 insertions, 0 deletions