diff options
Diffstat (limited to 'gdb/gdbtk/library/help/gbl_pref.html')
| -rw-r--r-- | gdb/gdbtk/library/help/gbl_pref.html | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/gdb/gdbtk/library/help/gbl_pref.html b/gdb/gdbtk/library/help/gbl_pref.html deleted file mode 100644 index 2760750c4e9..00000000000 --- a/gdb/gdbtk/library/help/gbl_pref.html +++ /dev/null @@ -1,20 +0,0 @@ -<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> |