Skip to main content
diff options
Diffstat (limited to '')
1 files changed, 2 insertions, 2 deletions
diff --git a/ b/
index 98d39c539..41cbfe5cb 100644
--- a/
+++ b/
@@ -28,7 +28,7 @@
<td style="width: 60%" align="center"></td>
<td style="width: 20%" align="right" valign="top">Java Development</td>
- </table><hr/>
+ </table><hr class="navigation-separator"/>
<h1 id="Context_and_Timing_data">Context and Timing data</h1>
<h2 id="How_do_I_prevent_code_checked_out_from_polluting_my_task_context.3F">How do I prevent code checked out from polluting my task context?</h2>
<p>When checking out a new project, you must first deactivate the active task. Otherwise all newly created files will become interesting. </p>
@@ -43,7 +43,7 @@
<li>If elements have been renamed they may not appear as interesting when the context is activated.</li>
- </ul><hr/>
+ </ul><hr class="navigation-separator"/>
<table class="navigation" style="width: 100%;" border="0" summary="navigation">
<td style="width: 20%" align="left">

Back to the top