marionnet-dev team mailing list archive

Thread
Date

This list will receive commit notifications...

To: marionnet-dev@xxxxxxxxxxxxxxxxxxx
From: Luca Saiu <Luca.Saiu@xxxxxxxxxxxxxxxxxxxx>
Date: Wed, 19 May 2010 15:42:18 +0200
Openpgp: id=26C5D286; url=http://www-lipn.univ-paris13.fr/~saiu/lucasaiu.asc
Organization: LIPN
User-agent: Mozilla-Thunderbird 2.0.0.22 (X11/20091109)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

....from the trunk; and I'm gonna set up ocamlbricks the same way.

I hadn't noticed that it was possible to enable this before, but I think
it's nice. I've disabled diffs, in notification messages, at least at
the moment.

- --
Luca Saiu
http://www-lipn.univ-paris13.fr/~saiu
GNU epsilon: http://www.gnu.org/software/epsilon
Marionnet:   http://www.marionnet.org
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iEYEARECAAYFAkvz6roACgkQvzOavibF0oYT4gCgrGqShyoje/c0mZ6GXifrPR/t
Z90AoIwDxcnbdSbcssJyYxP29oF+ciCD
=zb5W
-----END PGP SIGNATURE-----