You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@marmotta.apache.org by ss...@apache.org on 2013/07/22 12:56:12 UTC
[7/7] git commit: Merge remote-tracking branch 'origin/develop' into
develop
Merge remote-tracking branch 'origin/develop' into develop
Project: http://git-wip-us.apache.org/repos/asf/incubator-marmotta/repo
Commit: http://git-wip-us.apache.org/repos/asf/incubator-marmotta/commit/a6a44101
Tree: http://git-wip-us.apache.org/repos/asf/incubator-marmotta/tree/a6a44101
Diff: http://git-wip-us.apache.org/repos/asf/incubator-marmotta/diff/a6a44101
Branch: refs/heads/develop
Commit: a6a441011365b1bcb91a9e1c90cf429c94d38c83
Parents: 7dc7851 3af07e3
Author: Sebastian Schaffert <ss...@apache.org>
Authored: Mon Jul 22 12:55:50 2013 +0200
Committer: Sebastian Schaffert <ss...@apache.org>
Committed: Mon Jul 22 12:55:50 2013 +0200
----------------------------------------------------------------------
extras/webjars/codemirror/pom.xml | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
----------------------------------------------------------------------