diff options
| author | nyamatongwe <devnull@localhost> | 2003-09-27 02:18:49 +0000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2003-09-27 02:18:49 +0000 |
| commit | 50f59d4f370e29a50213f26cdb0e8087179a7210 (patch) | |
| tree | 0212e2a91edb671616996c80505176f3098e66dc /doc/ScintillaHistory.html | |
| parent | 7acc5980d767a1eb41d723646adacdacb889b7ab (diff) | |
| download | scintilla-mirror-50f59d4f370e29a50213f26cdb0e8087179a7210.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 |