Usar extensión .html simple para diff en HTML.

[software/sercom.git] / TODO.txt

diff --git a/TODO.txt b/TODO.txt
index 6087ecbb87c83ecce561a9fa71c6986ec9594c24..8d77daf7051b1924f685fc52768b427b8232999f 100644 (file)
--- a/TODO.txt
+++ b/TODO.txt
@@ -1,6 +1,4 @@
 - Backend (luca)
-  * Hacer el finalizador de entregas (selección de entregas a corregir y round
-    robbin para repartir tps).
   * Hacer un control del límite de tiempo que un subproceso puede tomar más
     bullet-proof (un sleep(99999999) hace pinchar el sistema). Ver sercom viejo.
   * Poner advertencias (error?) si se sobreescriben archivos de la entrega del
@@ -25,3 +23,4 @@
 - Arreglar encoding de logging. Probablemente haya que hacer un logger que
   encodee en UTF-8 para que no sea todo un gran asco (esto es de way too baja
   prioridad :).
+- Permitir bajar archivos de Comandos y CasoDePrueba.