diff options
Diffstat (limited to 'AUTHORS.md')
| -rw-r--r-- | AUTHORS.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/AUTHORS.md b/AUTHORS.md index 58333c95d..e6e88d038 100644 --- a/AUTHORS.md +++ b/AUTHORS.md @@ -38,7 +38,7 @@ and others. `dotty.tools.dotc.typer` -> This is new code except for some minor components (e.g. the ConstantFolder). It uses however many solution details that have been developed over time by many people, including Jason Zaugg, Adriaan Moors, Lukas Rytz, Paul Phillips, and Greg Kossakowski. +> This is new code except for some minor components (e.g. the ConstantFolder). It uses however many solution details that have been developed over time by many people, including Jason Zaugg, Adriaan Moors, Lukas Rytz, Paul Phillips, Greg Kossakowski, and others. `dotty.tools.dotc.util` |