diff options
-rw-r--r-- | TODO | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -0,0 +1,5 @@ +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 |
@@ -0,0 +1,5 @@ +Database +======== + +- drop 'name' column from problem / problem_group / language tables and move + values to corresponding {en,sl}.py files |