[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, created. 79ecdcf9e21b2585f8aeee5233c3edd4863946a4

[Hendrik Tews]

The branch, master has been created
        at  79ecdcf9e21b2585f8aeee5233c3edd4863946a4 (commit)

- Shortlog ------------------------------------------------------------
commit 79ecdcf9e21b2585f8aeee5233c3edd4863946a4
Author: Hendrik Tews <hendrik at askra.de>
Date:   Wed Mar 14 11:52:12 2012 +0100

    Imported Upstream version 20120312

-----------------------------------------------------------------------

-- 
hol-light packaging