Merge remote-tracking branch 'telmich/master'

Conflicts:
	doc/dev/todo/steven

Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
Steven Armstrong 2011-10-07 12:52:07 +02:00
commit 1668620b5b
3 changed files with 46 additions and 36 deletions

View file

@ -1,11 +1,18 @@
Object:
code_remote
code
gencode_local
gencode
gencode_remote
path_remote
explorer_out_dir
Type:
type.manifest_path
GlobalExplorer:
out_path: local path into which the output is written