Various updates to documentation, e.g. remove the history table
[promise.git] / .gitignore
1 *~
2 .*.sw?
3 /docs_build/
4 /docs_output/
5 /releng/