diff options
| author | nyamatongwe <unknown> | 2001-01-14 01:00:55 +0000 | 
|---|---|---|
| committer | nyamatongwe <unknown> | 2001-01-14 01:00:55 +0000 | 
| commit | f1dafc43a6a6dd32d7f91935bc6be065d84d305b (patch) | |
| tree | 47c38dcfafc11c49d0287a2e81fae819aa552db4 | |
| parent | ac61f5b86abec95396252edfa7afe66456357ea2 (diff) | |
| download | scintilla-mirror-f1dafc43a6a6dd32d7f91935bc6be065d84d305b.tar.gz | |
Updated titles and capitalisation of gIDE.
| -rw-r--r-- | doc/ScintillaRelated.html | 4 | ||||
| -rw-r--r-- | doc/ScintillaToDo.html | 2 | 
2 files changed, 3 insertions, 3 deletions
| diff --git a/doc/ScintillaRelated.html b/doc/ScintillaRelated.html index 51680b069..36baf2ef1 100644 --- a/doc/ScintillaRelated.html +++ b/doc/ScintillaRelated.html @@ -7,7 +7,7 @@      <meta name="generator" content="SciTE" />      <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />      <title> -      Scintilla and SciTE +      Scintilla and SciTE Related Sites      </title>    </head>    <body bgcolor="#FFFFFF" text="#000000"> @@ -105,7 +105,7 @@         <a href="http://gedit.sourceforge.net/">Gedit</a> is an editor for GTK+/GNOME.<br />         <a href="http://www.daimi.au.dk/~mailund/gtk.html">GtkEditor</a> is a source code editing        widget based on the GTK+ text widget.<br /> -       <a href="http://gide.gdev.net/">GIDE</a> is an IDE based on GTK+.<br /> +       <a href="http://gide.gdev.net/">gIDE</a> is an IDE based on GTK+.<br />         <a href="http://www.bahnhof.se/~mikeh/linux_software.html">GtkExText</a> is a source code        oriented text widget for GTK+.      </p> diff --git a/doc/ScintillaToDo.html b/doc/ScintillaToDo.html index 06253179c..81b4a5033 100644 --- a/doc/ScintillaToDo.html +++ b/doc/ScintillaToDo.html @@ -7,7 +7,7 @@      <meta name="generator" content="SciTE" />      <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />      <title> -      Scintilla and SciTE +      Scintilla and SciTE To Do      </title>    </head>    <body bgcolor="#FFFFFF" text="#000000"> | 
