The website/source/_example_pages_v0_3_1/ directory was removed as diff -qr website/source/_example_pages website/source/_example_pages_v0_3_1/ produces no result: they contain the same files. We removed the one with the version name as that version is outdated.
The
website/source/_example_pages_v0_3_1/
directory was removed asdiff -qr website/source/_example_pages website/source/_example_pages_v0_3_1/
produces no result: they contain the same files. We removed the one with the version name as that version is outdated.