diff options
-rw-r--r-- | TODO | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -1,5 +0,0 @@ -Database -======== - -- drop 'name' column from problem / problem_group / language tables and move - values to corresponding {en,sl}.py files |
index : codeq-server.git | ||
CodeQ server | git repository hosting |
summaryrefslogtreecommitdiff |
-rw-r--r-- | TODO | 5 |
@@ -1,5 +0,0 @@ -Database -======== - -- drop 'name' column from problem / problem_group / language tables and move - values to corresponding {en,sl}.py files |