From 18fd0850fc8d261cd8d93dc614a03eb3dc6cd452 2017-07-03 13:37:53
From: Thomas Kluyver <thomas@kluyver.me.uk>
Date: 2017-07-03 13:37:53
Subject: [PATCH] Git ignore generated files for documenting shortcuts

---

diff --git a/.gitignore b/.gitignore
index c10cded..675b53e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@ docs/man/*.gz
 docs/source/api/generated
 docs/source/config/options
 docs/source/interactive/magics-generated.txt
+docs/source/config/shortcuts/*.csv
 docs/gh-pages
 jupyter_notebook/notebook/static/mathjax
 jupyter_notebook/static/style/*.map