more concise summary (wrt /usr/share/info/) - no default mail anymore
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 3 Jan 2008 17:26:38 +0000 (17:26 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 3 Jan 2008 17:26:38 +0000 (17:26 +0000)
commit4a93f9b94d97311d7576ef9f56be84c321513bca
tree69528fd5c4ce4e8bd3aa75f13c681463e9457db8
parent605588ca60082cdcca0ac43550bb9aa4c54e924c
more concise summary (wrt /usr/share/info/) - no default mail anymore
vbuild-nightly.sh