From 2cc6249da16a6b0ab8a7d7620ebd9738c9b366c5 Mon Sep 17 00:00:00 2001
From: Christopher Vogt <oss.nsp@cvogt.org>
Date: Mon, 13 Feb 2017 08:56:04 -0500
Subject: ignore new dotty generated docs directory. should move this to target

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 37ff16e..5692c12 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ realpath/realpath
 node_modules
 *fastopt*
 *fullopt*
+examples/dotty-example/_site
-- 
cgit v1.2.3