[shark] 36/79: Merge branch 'master' of https://github.com/Shark-ML/Shark
Ghislain Vaillant
ghisvail-guest at moszumanska.debian.org
Thu Nov 26 15:40:24 UTC 2015
This is an automated email from the git hooks/post-receive script.
ghisvail-guest pushed a commit to branch master
in repository shark.
commit b437aae33cf2263c25e3d5aee6187ecef025d06d
Merge: 2c61366 081337e
Author: Tobias Glasmachers <tobias.glasmachers at ini.rub.de>
Date: Fri Oct 30 13:33:09 2015 +0100
Merge branch 'master' of https://github.com/Shark-ML/Shark
include/shark/Core/DLLSupport.h | 1 +
1 file changed, 1 insertion(+)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/shark.git
More information about the debian-science-commits
mailing list