Add user-id pool design doc

[ganeti-local] / .gitignore

diff --git a/.gitignore b/.gitignore
index 494481b..9aa21f8 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -41,6 +41,7 @@
 # doc
 /doc/api
 /doc/build
+/doc/coverage
 /doc/html
 /doc/install-quick.rst
 /doc/news.rst