view CONTRIBUTORS @ 739:36edb39e8e8c

Split make_file back out into make_filename and make_file.
It turns out that make_filename is useful by itself.

Andrea Arcangeli <andrea at suse.de>
Thomas Arendsen Hein <thomas at intevation.de>
Goffredo Baroncelli <kreijack at libero.it>
Vincent Danjean <vdanjean.ml at free.fr>
Jake Edge <jake at edge2.net>
Michael Fetterman <michael.fetterman at intel.com>
Edouard Gomez <ed.gomez at free.fr>
Vadim Lebedev <vadim at mbdsys.com>
Christopher Li <hg at chrisli.org>
Chris Mason <mason at suse.com>
Bryan O'Sullivan <bos at serpentine.com>
Vicent Segu? Pascual <vseguip at gmail.com>
Nguyen Anh Quynh <aquynh at gmail.com>
Arun Sharma <arun at sharma-home.net>
Kevin Smith <yarcs at qualitycode.com>
Radoslaw Szkodzinski <astralstorm at gorzow.mm.pl>
K Thananchayan <thananck at yahoo.com>
Andrew Thompson <andrewkt at aktzero.com>
Michael S. Tsirkin <mst at mellanox.co.il>
Rafael Villar Burke <pachi at mmn-arquitectos.com>

If you are a contributor and don't see your name here, please let me know.