diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2019-02-16 17:44:42 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2019-02-16 19:07:33 +0100 |
commit | 448ff2cd1168ccee81f848238170ad156a3684b4 (patch) | |
tree | 986de33116f7b313b61a1807e402222298de0f1b /kpov_judge/random_data/roman_gods.txt | |
parent | dd9eaef3b467ffe1693ceeee4a0398d191945faf (diff) |
Create disk images in multiple formats
Refactor some code in create_disk_images.oy into a »prepare_disks«
function that creates disk images in the given format for one task.
Store paths to images in multiple formats in the database and update
the front-end.
Diffstat (limited to 'kpov_judge/random_data/roman_gods.txt')
0 files changed, 0 insertions, 0 deletions