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

 * tools/git2cl

   This file is written by Simon Josefsson and Luis Mondesi, and is
   copied from git2cl [4] and since slightly modified. 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/
