minor cosmetic changes to the mails headers
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 5 May 2013 07:19:35 +0000 (09:19 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 5 May 2013 07:19:35 +0000 (09:19 +0200)
commit983e1db82ea838e114af299d5294748442c2e303
treec591d87d239f38e9dd3ea949cc36012ede4b142e
parentb25a6719838983f5621b2ea88a29881b4d44ba4c
minor cosmetic changes to the mails headers
vbuild-nightly.sh