e7c48ee951
Clean up 'THANKS' and 'AUTHORS'.
...
* THANKS: Add Konrad Hinsen, Cyprien Nicolas, Yakkala Yagnesh Raghava
and Alexander Shendi. Remove Federico Beffa, Marek Benc, John
Darrington, rekado, Cyrill Schenkel and Andy Wingo because they are
placed in AUTHORS. Move Amirouche Boubekki and Alex Kost to ...
* AUTHORS: ... here. Add Arne Babenhauserheide, Ian Denhardt, Kevin
Lemonnier, Mathieu Lirzin, Pierre-Antoine Rault and Ben Woodcroft.
Fix some names and emails.
2015-07-04 12:13:01 +03:00
1d642af987
Add Claes Wallin to 'AUTHORS'.
2015-06-27 20:26:06 +03:00
6bc2406315
gnu: Add guile-minikanren.
...
* gnu/packages/guile.scm (guile-minikanren): New variable.
2015-04-26 21:38:37 -04:00
bc45ceb5ff
Add Andy to 'AUTHORS'.
2015-04-05 23:15:20 +02:00
1cf0814d4d
Add Paul to 'AUTHORS'.
2015-03-09 20:26:44 -04:00
e92da92d63
Add Alexander to 'AUTHORS'.
2015-03-09 23:51:43 +01:00
76aae0f96f
Add David Hashe to 'AUTHORS'.
2015-02-20 10:14:23 +01:00
1af50c224d
Add Deck to 'AUTHORS'.
2015-02-02 12:46:35 +01:00
da74bc7886
Add Ricardo to 'AUTHORS'.
2015-01-24 22:57:49 +01:00
03356e9775
Add Tomáš to 'AUTHORS'.
2014-12-09 13:19:47 +01:00
418367f7f0
Add Julien to 'AUTHORS'.
2014-11-18 22:03:03 +01:00
f21ca31d15
Add the name of Sou Bunnbu in its original script to 'AUTHORS'.
2014-11-14 22:58:18 +01:00
dc05f01cba
Add Sun Bunnbu to 'AUTHORS'.
2014-11-12 14:39:30 +01:00
822efdff8a
Update name and email address for Joshua Grant.
2014-10-26 14:48:57 +01:00
9c814b828a
Add Federico to 'AUTHORS'.
2014-10-08 22:12:06 +02:00
6e4532e8fe
Add Marek to 'AUTHORS'.
2014-09-10 15:44:51 +02:00
25290d2766
Update AUTHORS and THANKS.
2014-08-15 16:26:28 +02:00
cdd754e8b6
Update 'AUTHORS'.
...
* AUTHORS: Correct the email address I use for Guix work.
2014-07-18 06:45:33 +02:00
3146976496
Add Jason to 'AUTHORS'.
2014-07-15 22:48:48 +02:00
1abb614051
Add Cyrill to AUTHORS.
2014-06-29 22:38:38 +02:00
a0b25016eb
Add Alírio to 'AUTHORS'.
2014-04-06 21:48:39 +02:00
686e637ed2
Add Manolis to 'AUTHORS'.
2014-02-16 19:53:59 +01:00
c37b2b2aa5
Add Raimon to 'AUTHORS'.
2014-02-06 19:07:10 +01:00
70f228cd86
Add Sree to 'AUTHORS'.
2014-01-24 14:03:12 +01:00
e6a9aa366e
Update references from Guy's old name
2013-11-29 14:21:36 +01:00
0edfdb8924
Add Guy to 'AUTHORS'.
2013-11-26 22:12:43 +01:00
840f71cdfc
Add John to 'AUTHORS'.
2013-11-24 18:32:55 +01:00
eeb70957e8
Update 'AUTHORS'.
2013-10-16 00:13:40 +02:00
3c1d9799b8
Thank Jeffrin and David.
2013-10-14 23:18:54 +02:00
dd8abc295f
Update 'AUTHORS'.
...
* AUTHORS: Add Alex, Joshua, and Aljosha.
2013-10-06 22:57:06 +02:00
9c8ba706d0
Add Mark to `AUTHORS'.
2013-02-17 22:19:32 +01:00
41d42f5061
Update `AUTHORS' and `THANKS'.
2013-01-27 00:55:51 +01:00
4fd27cdfb9
Move Andreas to `AUTHORS'.
2013-01-18 00:48:07 +01:00
09c95deb1e
Change email address in `AUTHORS'.
2012-12-09 14:42:30 +01:00
a0f16bb663
Update `AUTHORS'.
2012-12-08 19:21:47 +01:00
b7a7f59847
Add the usual top-level files.
2012-06-03 23:46:56 +02:00
Alex Kost