Files from Foreign Sources
==========================

 * tools/git2cl

   This file is written by Simon Josefsson and Luis Mondesi, and is
   copied unmodified from git2cl [1]. The file is licensed under the
   GNU General Public License. See the header of the file for
   full copyright and license information.

 [1] http://josefsson.org/git2cl/
