diff options
Diffstat (limited to 'deps/lightening/THANKS')
-rw-r--r-- | deps/lightening/THANKS | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/deps/lightening/THANKS b/deps/lightening/THANKS new file mode 100644 index 0000000..42bbfc6 --- /dev/null +++ b/deps/lightening/THANKS @@ -0,0 +1,19 @@ +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> |