diff options
Diffstat (limited to 'deps/lightening/THANKS')
-rw-r--r-- | deps/lightening/THANKS | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/deps/lightening/THANKS b/deps/lightening/THANKS deleted file mode 100644 index 42bbfc6..0000000 --- a/deps/lightening/THANKS +++ /dev/null @@ -1,19 +0,0 @@ -Thanks to all the following people for their help in -improving GNU lightning: - -Paolo Bonzini <bonzini@gnu.org> -Eli Barzilay <eli@barzilay.org> -Ludovic Courtes <ludo@chbouib.org> -Matthew Flatt <mflatt@cs.utah.edu> -Laurent Michel <ldm@thorgal.homelinux.org> -Paulo Cesar Pereira de Andrade <pcpa@gnu.org> -Mike Spivey <mike@comlab.ox.ac.uk> -Basile Starynkevitch <basile@starynkevitch.net> -Sam Steingold <sds@gnu.org> -Jens Troeger <savage@light-speed.de> -Tom Tromey <tromey@redhat.com> -Trent Nelson <trent@snakebite.org> -Vitaly Magerya <vmagerya@gmail.com> -Brandon Invergo <brandon@gnu.org> -Holger Hans Peter Freyther <holger@moiji-mobile.com> -Jon Arintok <jon.arintok@gmail.com> |