diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-10-02 14:41:39 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-10-02 14:41:39 +0200 |
| commit | 8f368bc83db0b6a938ea6f8650cb30b2c7bef060 (patch) | |
| tree | 11a35267df50da42f547736c130d17b41e5b6252 /res | |
| parent | d79f2d14f365dc9395af2d159eebead6e57d98cb (diff) | |
Bugfix: consider common and problem-specific hint types independently from common and problem-specific hint content.
Diffstat (limited to 'res')
0 files changed, 0 insertions, 0 deletions