summaryrefslogtreecommitdiff
path: root/scripts/sysvinit/codeq-server
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-12 12:57:27 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-12 12:57:27 +0200
commitfe0002e7fd5a3631d6a7cd8b0a3cdbd2b55d7aa1 (patch)
tree080f322856c38e19e6819f07786a24d88674271f /scripts/sysvinit/codeq-server
parent0850ea13c19d4f2a382fd7d4bcf6333f446fa68b (diff)
Remove unused server.problems.list_problems
Diffstat (limited to 'scripts/sysvinit/codeq-server')
0 files changed, 0 insertions, 0 deletions