diff options
| -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 34d6a0945..6a99e98e0 100644 --- a/doc/ScintillaHistory.html +++ b/doc/ScintillaHistory.html @@ -338,6 +338,7 @@        </tr><tr>  	<td>Eric Kidd</td>  	<td>maXmo</td> +	<td>David Severwright</td>      </tr>      </table>      <p> | 
