summaryrefslogtreecommitdiff
path: root/.gitignore
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 /.gitignore
parent0850ea13c19d4f2a382fd7d4bcf6333f446fa68b (diff)
Remove unused server.problems.list_problems
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions