.gitignore
changeset 2 f4add19ab159
child 10 2c04629d9120
new file mode 100644
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,1 @@
+doc/*