Stéphane Glondu <glo...@debian.org> writes: Can you publish the git repo elsewhere meanwhile?
you can download the tar ball of my hol-light git directory at http://askra.de/hol-light-git.tgz . I know this is not the right way to do it, but I don't have the time for reading about bare repositories right now. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/6xwqk44wl7....@blau.inf.tu-dresden.de
