diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-10-06 18:32:42 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-10-06 18:32:42 +0200 |
| commit | 0b2485f393bcc47dcf895044c410b2c8784af432 (patch) | |
| tree | c47ce3db5e8ff35dccfe714b6c0635c01f07ee6d /css/codemirror/codemirror.css | |
| parent | 3f699e7460fb79bb0b48077dddc3359ee4b974c1 (diff) | |
Rename state 'problem' to problem_list
Remove the Language element from the navbar and have "CodeQ" (logo TBD)
send user to the language-selection page.
Diffstat (limited to 'css/codemirror/codemirror.css')
0 files changed, 0 insertions, 0 deletions