tree d30d1f783ecd479f9a4a186847ae370a9bc6dfcd
parent a79efde184445354aa1dcbe63a70599d9e4c3f6e
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1428570543 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1428580375 +0200

Add check-names.sh to all.sh