diff options
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 f5b8e36a7..38bd7f982 100644 --- a/doc/ScintillaHistory.html +++ b/doc/ScintillaHistory.html @@ -133,6 +133,7 @@ <li>Hrishikesh Desai</li> <li>Sergey Puljajev</li> <li>Mathias Rauen</li> + <li>Angelo Mandato</li> </ul> <p> Images used in GTK+ version |