diff options
| author | Maxime Dénès | 2016-04-17 14:22:54 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-04-17 14:22:54 +0200 |
| commit | 9e2f24d5105370ac3964d2e3aae76759f3912db3 (patch) | |
| tree | 5ac37e0d2b42d2caf175b58c319c27d730e5f625 /plugins/syntax/string_syntax.ml | |
| parent | 08dbef1f220c3f97ad1baa159b9f0a6913e922b3 (diff) | |
Add changelog for 8.5pl1 after the fact.
Will be displayed on the website, but not part of the package.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions