diff options
Diffstat (limited to 'gdb/gdbtk/library/help/trace/gbl_pref.html')
| -rw-r--r-- | gdb/gdbtk/library/help/trace/gbl_pref.html | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gdb/gdbtk/library/help/trace/gbl_pref.html b/gdb/gdbtk/library/help/trace/gbl_pref.html new file mode 100644 index 00000000000..2760750c4e9 --- /dev/null +++ b/gdb/gdbtk/library/help/trace/gbl_pref.html @@ -0,0 +1,20 @@ +<HTML> +<HEAD> +<TITLE>Global Preferences Help</TITLE> +</HEAD> +<BODY> +<H1>Global Preferences</H1> +<H3>Overview</H3> +<P>Not yet done.</P> + +<P>Global Preferences topics: +<UL> + <LI><UL><A HREF="#">stuff</A> + <LI><A HREF="#">stuff</A> + <LI><A HREF="#">stuff</A> + </UL> +</UL></P> + +<H3><A NAME="">stuff</A></H3> +</BODY> +</HTML> |