[pypy-commit] extradoc extradoc: the -I option is already done

[arigo]

Author: Armin Rigo <arigo at tunes.org>
Branch: extradoc
Changeset: r5769:9f0ab06928bb
Date: 2017-02-01 10:13 +0100
http://bitbucket.org/pypy/extradoc/changeset/9f0ab06928bb/

Log:	the -I option is already done

diff --git a/planning/py3.5/milestone-2-progress.rst b/planning/py3.5/milestone-2-progress.rst
--- a/planning/py3.5/milestone-2-progress.rst
+++ b/planning/py3.5/milestone-2-progress.rst
@@ -70,6 +70,7 @@
   [DONE, rpython-hash branch]
 
 * New command line option for isolated mode.
+  [I think it is already DONE]
 
 * Enhancements to multiprocessing modules.