digital cadee55775 ignoring docs/html now too há 7 anos atrás
..
src 5c23422fa3 moved sphinx source dir to docs/src há 7 anos atrás