Remove gitignore from docs dir, as we now build in a separate directory
authorgggeek <giunta.gaetano@gmail.com>
Mon, 27 Apr 2015 01:50:07 +0000 (02:50 +0100)
committergggeek <giunta.gaetano@gmail.com>
Mon, 27 Apr 2015 01:50:07 +0000 (02:50 +0100)

No differences found