/* -*- coding: utf-8; -*- */

{

  /* Add your name and email address here.  Keep the list
     alphabetically sorted.  */

  ludo = "Ludovic Courtès <ludo@gnu.org>";
}