diff options
author | Jure Žabkar <jure.zabkar@fri.uni-lj.si> | 2015-10-12 14:19:07 +0200 |
---|---|---|
committer | Jure Žabkar <jure.zabkar@fri.uni-lj.si> | 2015-10-12 14:19:07 +0200 |
commit | 0a88716110994f789f764704a96791fdfb5fa288 (patch) | |
tree | 788c16ab578cf76eda358abc1d0587503d413a87 /robot/common.py | |
parent | 1a7678b37a25a76aeaef7ebb225f85406b19f928 (diff) | |
parent | 5a01c2bb184152c6ccc3c536e9b857d247bc55ad (diff) |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-problems
Conflicts:
robot/problems/introduction/forward/en.py
robot/problems/introduction/forward/sl.py
Diffstat (limited to 'robot/common.py')
-rw-r--r-- | robot/common.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/robot/common.py b/robot/common.py index 45dbfc3..1e7e818 100644 --- a/robot/common.py +++ b/robot/common.py @@ -2,6 +2,8 @@ from server.hints import Hint, HintSequence +id = 3 + hint_type = { 'no_hint': Hint('no_hint'), 'system_error': Hint('system_error'), |