Add gitignore file for generated documentation
authorgggeek <giunta.gaetano@gmail.com>
Sun, 2 Feb 2014 19:57:30 +0000 (20:57 +0100)
committergggeek <giunta.gaetano@gmail.com>
Sun, 2 Feb 2014 19:57:30 +0000 (20:57 +0100)
commit90101b1e9ea537c0c788dcf2f5fc0c752681c7a0
tree5a763e75b048bd1aa791bf15be60328fbfc8dc52
parentce636cdbf294ff68e3e0c6a539e8c6688936b6e5
Add gitignore file for generated documentation
doc/.gitignore [new file with mode: 0644]