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