-----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----- _______________________________________________ Mailing list: https://launchpad.net/~marionnet-dev Post to : marionnet-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~marionnet-dev More help : https://help.launchpad.net/ListHelp
