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)
commit52d0fcaf30f8185b1bf3e069eb065264bffb26f5
tree041fcd8316d2d773d49c41237e8fdc4d7d6e7591
parent3f58e3cf14f75d513f08242d0535411ba1af2f4a
Remove gitignore from docs dir, as we now build in a separate directory
doc/.gitignore [deleted file]
pakefile.php