diff options
author | nyamatongwe <unknown> | 2003-09-27 02:18:49 +0000 |
---|---|---|
committer | nyamatongwe <unknown> | 2003-09-27 02:18:49 +0000 |
commit | b25ad1ad0284d617b10e1b74d48b38e3ba834108 (patch) | |
tree | 0212e2a91edb671616996c80505176f3098e66dc /doc/ScintillaHistory.html | |
parent | abdf78a3f59883cbe716d673b963068d602a220b (diff) | |
download | scintilla-mirror-b25ad1ad0284d617b10e1b74d48b38e3ba834108.tar.gz |
Separate tex lexer.
Metapost lexer.
Export as XML.
Diffstat (limited to 'doc/ScintillaHistory.html')
-rw-r--r-- | doc/ScintillaHistory.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ScintillaHistory.html b/doc/ScintillaHistory.html index f26770efb..3505a09b3 100644 --- a/doc/ScintillaHistory.html +++ b/doc/ScintillaHistory.html @@ -144,6 +144,7 @@ <li>Naba Kumar</li> <li>Sean O'Dell</li> <li>Stefanos Togoulidis</li> + <li>Hans Hagen</li> </ul> <p> Images used in GTK+ version |