diff options
Diffstat (limited to 'html/101run_sandboxed.cc.html')
| -rw-r--r-- | html/101run_sandboxed.cc.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/html/101run_sandboxed.cc.html b/html/101run_sandboxed.cc.html index a0b9b043..d43b68af 100644 --- a/html/101run_sandboxed.cc.html +++ b/html/101run_sandboxed.cc.html @@ -104,7 +104,6 @@ put<span class="Delimiter">(</span>Recipe_ordinal<span class="Delimiter">,</span <span class="Delimiter">:(before "End Globals")</span> <span class="Normal">bool</span> Track_most_recent_products = <span class="Constant">false</span><span class="Delimiter">;</span> -<span class="Delimiter">:(before "End Tracing")</span> trace_stream* Save_trace_stream = <span class="Constant">NULL</span><span class="Delimiter">;</span> string Save_trace_file<span class="Delimiter">;</span> <span class="Delimiter">:(before "End Setup")</span> |