From 33f3580f8f4499ac9cd4812872c94fcdd81a5829 Mon Sep 17 00:00:00 2001 From: Paul Martin <paul@paulsputer.com> Date: Mon, 28 Mar 2016 10:27:31 -0400 Subject: [PATCH] Merge pull request #1022 from gitblit/974-in-browser-doc-editor --- .gitmodules | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/.gitmodules b/.gitmodules index 01eaa2c..25cab4a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "src/main/distrib/data/gitignore"] path = src/main/distrib/data/gitignore url = https://github.com/github/gitignore.git +[submodule "src/main/js/prosemirror"] + path = src/main/js/prosemirror + url = https://github.com/ProseMirror/prosemirror.git -- Gitblit v1.9.1