Skip to content
Snippets Groups Projects

Stav "opraveno"

Merged Martin Mareš requested to merge mj-opraveno into devel
3 files
+ 5
1
Compare changes
  • Side-by-side
  • Inline
Files
3
+ 2
1
@@ -323,7 +323,8 @@ CREATE TYPE job_type AS ENUM (
'upload_feedback',
'create_protocols',
'process_scans',
'fix_submits'
'fix_submits',
'send_grading_info'
);
CREATE TYPE job_state AS ENUM (
Loading