diff options
Diffstat (limited to 'profiling/org.eclipse.linuxtools.profiling.docs/Linux_Tools_Project/Profiling/User_Guide/Profiling-Categories.html')
-rw-r--r-- | profiling/org.eclipse.linuxtools.profiling.docs/Linux_Tools_Project/Profiling/User_Guide/Profiling-Categories.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/profiling/org.eclipse.linuxtools.profiling.docs/Linux_Tools_Project/Profiling/User_Guide/Profiling-Categories.html b/profiling/org.eclipse.linuxtools.profiling.docs/Linux_Tools_Project/Profiling/User_Guide/Profiling-Categories.html index 407aa396ab..b1f39b919f 100644 --- a/profiling/org.eclipse.linuxtools.profiling.docs/Linux_Tools_Project/Profiling/User_Guide/Profiling-Categories.html +++ b/profiling/org.eclipse.linuxtools.profiling.docs/Linux_Tools_Project/Profiling/User_Guide/Profiling-Categories.html @@ -28,7 +28,7 @@ <td style="width: 60%" align="center"></td> <td style="width: 20%" align="right" valign="top">Profiling Configurations</td> </tr> - </table><hr/> + </table><hr class="navigation-separator"/> <h1 id="Profiling_Categories">Profiling Categories</h1> <p>In the past, some of the Linux Tools profiling plug-ins, such as Valgrind, would add a default launch short-cut. The launch short-cut would use a set of default parameters for the profiling tool and would launch the selected executable appropriately. In the case of Valgrind, which supports multiple tools, the short-cut would @@ -81,7 +81,7 @@ workspace Profiling Category preferences for that category should the end-user wish to set them that way or verify what is currently in place. When project-specific settings are chosen, they will override the workspace preferences for that particular category when profiling within that project. </p> <p> <img border="0" src="images/LinuxToolsProfilingProperties.png"/> - </p><hr/> + </p><hr class="navigation-separator"/> <table class="navigation" style="width: 100%;" border="0" summary="navigation"> <tr> <td style="width: 20%" align="left"> |