summaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
authorMatthias Wachs <wachs@net.in.tum.de>2015-02-19 20:30:05 +0000
committerMatthias Wachs <wachs@net.in.tum.de>2015-02-19 20:30:05 +0000
commite862d9c0c245645665ee19cf623d2bd323238a5f (patch)
treecc3d36db2148dc8eaed15b5dab8118f4b2a651ea /contrib
parent8bd00cee8c4335f9598ef6e97a06736c925862a7 (diff)
fix crash: check if problem is already created before updating
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions