added robots.txt to the igmnored files

2013-02-17 18:46:39 +01:00 · 2013-02-17 18:46:39 +01:00 · 37389795b0
parent 7e154d5e4c
commit 37389795b0
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -9,6 +9,7 @@ favicon.*
 home.html
 addon
 *~
+robots.txt

 #ignore documentation, it should be newly built 
 doc/api