• Alexandre Duret-Lutz's avatar
    Update some text files for upcoming 0.5. · c00a80a2
    Alexandre Duret-Lutz authored
    * NEWS: Update for upcoming 0.5.
    * HACKING: Update Automake requirement.
    * README: Mention the mailing list.
    * bench/ltlcounter/README: More text.
    * configure.ac: Report bugs to spot@lrde.epita.fr.
    c00a80a2