tree 2317d255c0ebf510c3da375ad9623437203b68f2
parent 8a89fcd13f638e81c22db3c9df6e66475b4367d2
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1427982237 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1428079615 +0200

Cosmetic change

Make one of the name listing scripts happier