]> gitweb.pimeys.fr Git - scripts-20-100.git/commit
[bde] On peut maintenant fusionner Guinness et Guiness
authorVincent Le Gallic <legallic@crans.org>
Wed, 4 Jan 2017 15:54:43 +0000 (16:54 +0100)
committerVincent Le Gallic <legallic@crans.org>
Wed, 4 Jan 2017 15:55:00 +0000 (16:55 +0100)
commit6698cfaac70907dea8cfccf2167d3caad5b07bf7
tree5e38fbc44759f5bce3569f3b4c5ee01b37cca599
parenta4b00a25d6d5d71258df6910afd528e8d9c88a89
[bde] On peut maintenant fusionner Guinness et Guiness
bde/stats/record.sh