From be7b1003893947c96dfa50b1bbd5281541f81949 Mon Sep 17 00:00:00 2001 From: Mateusz Kowalczyk Date: Sun, 24 Aug 2014 15:14:23 +0100 Subject: Delete few unused/irrelevant/badly-place files. --- .authorspellings | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 .authorspellings (limited to '.authorspellings') diff --git a/.authorspellings b/.authorspellings deleted file mode 100644 index 570c548e..00000000 --- a/.authorspellings +++ /dev/null @@ -1,10 +0,0 @@ -Simon Marlow , marlowsd@gmail.com, simonmar -Simon Hengel -David Waern , davve@dtek.chalmers.se, david.waern@gmail.com, David Waern -Sven Panne , panne -Neil Mitchell , Neil Mitchell -Ross Paterson , ross -Simon Peyton-Jones -Wolfgang Jeltsch , wolfgang -Malcolm Wallace -Benjamin Franksen -- cgit v1.2.3