This is an automated email from the git hooks/post-receive script.
orthogonal-guest pushed a commit to branch master
in repository dh-ocaml.
commit 1e1cafe03d721d165bdc5a2beec7e2983e295577
Author: Riley Baird
Date: Wed Jun 24 18:31:15 2015 +1000
Added option to set alioth username in dom
This is an automated email from the git hooks/post-receive script.
orthogonal-guest pushed a change to branch master
in repository dh-ocaml.
from 2a15e60 Release to unstable
new 1e1cafe Added option to set alioth username in dom-git-new-repo
The 1 revisions listed above as "ne
This is an automated email from the git hooks/post-receive script.
orthogonal-guest pushed a change to branch master
in repository coq-highschoolgeometry.
at 3eb4199 Initial commit
This branch includes the following new commits:
new 3eb4199 Initial commit
The 1 revisions l
3 matches
Mail list logo