From 8283132eed3eb3d7e325d2c339d51cb63d697f83 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Fri, 19 Feb 2016 22:45:59 +0000
Subject: [PATCH] Updated ideas.

---
 TODO | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/TODO b/TODO
index 0a127f2..4020c87 100644
--- a/TODO
+++ b/TODO
@@ -266,6 +266,8 @@ Ideas
   editor? pygment syntax theme? Compress the cache? Ignore which paths? Log to disk?
   The cache path?
 - Can mypy be a tool?
+  <- Yes, but wait for it to be included in python, or until it is an ubuntu package.
+- Have a command-line option to create workers that run remotely.
 
 
 Shelved