Age | Commit message (Collapse) | Author |
|
|
|
Records a {'typ': 'experiment', 'data': 'teacher help'} action when
clicked. This will allow us to consider such traces specially when
evaluating different hint types.
This is specific to the prolog_hints experiment and should be reverted
or generalized in the future.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bootstrap: because 10px ought to be good for everyone!™
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
existing user.
|
|
|
|
|
|
|
|
the codeq.settings (codeq-server and database has been updated as well)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Remove the Language element from the navbar and have "CodeQ" (logo TBD)
send user to the language-selection page.
|
|
|
|
|
|
|
|
|
|
|