1 2 3 4 5 6 7 8
# # Files to be ignored by Git (do not commit) # # local documentation generation (?) documentation/html/ documentation/html-dev/