|
469415b40a
|
Reserved directory for public interface now lives in public instead of _public
|
2018-01-26 12:05:25 +01:00 |
|
|
842a769385
|
Remove team's initial_name, replaced by their ID
|
2018-01-26 12:05:25 +01:00 |
|
|
9d4c048f0e
|
backend: add debug logs
|
2018-01-18 12:08:12 +01:00 |
|
|
def822cd45
|
frontend: avoid RW access to TEAMS dir by placing startedFile into submissions
|
2018-01-17 18:52:36 +01:00 |
|
|
80d06f237c
|
backend: log generation errors
|
2018-01-17 18:51:54 +01:00 |
|
|
1c62f61bf0
|
Backend: extract file generation and team renaming in dedicated files
|
2016-10-13 19:56:27 +02:00 |
|