diff options
Diffstat (limited to '.authorspellings')
| -rw-r--r-- | .authorspellings | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/.authorspellings b/.authorspellings deleted file mode 100644 index 570c548e..00000000 --- a/.authorspellings +++ /dev/null @@ -1,10 +0,0 @@ -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> |