aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2016-05-16 14:55:17 +0200
committerBen Gamari <ben@smart-cactus.org>2016-05-16 14:55:17 +0200
commit1bfcca3f2212e1f8e527ad3a2c4bb48aef082ff9 (patch)
tree9932eec88f07f9563a88417cacfb822e4e512747 /.gitmodules
parentc277db2271e22e3b8fa1afeaf42ffc6988a48720 (diff)
parentcec21957001143794e71bcd9420283df18e7de40 (diff)
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 00000000..ac3559da
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "doc/alabaster"]
+ path = doc/alabaster
+ url = git://github.com/bitprophet/alabaster.git