From 860473fcda835e8e9d94171a4e4229a907ba9192 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 7 Oct 2011 12:46:03 +0200
Subject: [PATCH] +info required

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 doc/dev/todo/steven | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/dev/todo/steven b/doc/dev/todo/steven
index cb452450..a4f2dd40 100644
--- a/doc/dev/todo/steven
+++ b/doc/dev/todo/steven
@@ -14,6 +14,8 @@ Type:
 
    explorer_remote_dir
 
+   type.manifest_path
+
 
 GlobalExplorer:
    out_path: local path into which the output is written