diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-15 13:26:00 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-15 13:26:00 +0100 |
commit | f5e157075eb3cb4df666c4933b6300c6b85743de (patch) | |
tree | da7b16d877c9e3c10af7d0f9d5670a260c155d89 /res | |
parent | 98891fda0a2df5e0cc7294801efa707370d76446 (diff) |
Do not reuse hint class names in a problem session
Reusing class names (e.g. “_emark_0”) caused an incorrect message (from
the previous hint) to be displayed for subsequent hints with the same
class.
Diffstat (limited to 'res')
0 files changed, 0 insertions, 0 deletions