Commit 112ae6b77adeaf0fcdad14c075e3733990b6ecbd

Authored by Jürgen Knödlseder
1 parent e96d1f7d

Ignore Sphinx folder.

Showing 1 changed file with 1 additions and 0 deletions
.gitignore
@@ -75,3 +75,4 @@ doc/html/search.html @@ -75,3 +75,4 @@ doc/html/search.html
75 doc/html/searchindex.js 75 doc/html/searchindex.js
76 doc/html/test.html 76 doc/html/test.html
77 doc/html/index.html 77 doc/html/index.html
  78 +doc/html/user_manual/