diff options
Diffstat (limited to '.authorspellings')
-rw-r--r-- | .authorspellings | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.authorspellings b/.authorspellings new file mode 100644 index 00000000..570c548e --- /dev/null +++ b/.authorspellings @@ -0,0 +1,10 @@ +Simon Marlow <simonmar@microsoft.com>, marlowsd@gmail.com, simonmar +Simon Hengel <simon.hengel@wiktory.org> +David Waern <david.waern@gmail.com>, davve@dtek.chalmers.se, david.waern@gmail.com, David Waern +Sven Panne <sven.panne@aedion.de>, panne +Neil Mitchell <http://www.cs.york.ac.uk/~ndm/>, Neil Mitchell +Ross Paterson <ross@soi.city.ac.uk>, ross +Simon Peyton-Jones <simonpj@microsoft.com> +Wolfgang Jeltsch <g9ks157k@acme.softbase.org>, wolfgang +Malcolm Wallace <Malcolm.Wallace@cs.york.ac.uk> +Benjamin Franksen <benjamin.franksen@bessy.de> |