Merge branch 'master' of https://github.com/dingguanglei/jdit into gh…

…-pages
dingguanglei · Dec 25, 2018 · b92adf3 · b92adf3
2 parents c5aed84 + 2b6f243
commit b92adf3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/CNAME b/docs/CNAME
diff --git a/docs/_config.yml b/docs/_config.yml
@@ -0,0 +1 @@
+theme: jekyll-theme-cayman