2 Commits (9f98368e49d411941bb8e2a1e1839bed18cd625e)

Author	SHA1	Message	Date
Jules Villard	cce19349a8	make new-website-version ... Summary: Update documentation and add a version for v1.0.0. Reviewed By: martintrojer Differential Revision: D24191031 fbshipit-source-id: 0a57c693e	4 years ago
Jules Villard	6e37247b7b	make doc-publish ... Summary: Needed to remove user_documentation for the new CONFIG_CHECK_BETWEEN_MARKERS issue type otherwise it violated the invariant that the corresponding checker should be documented too but its development has just started. Reviewed By: skcho Differential Revision: D22065820 fbshipit-source-id: 4b3a58850	5 years ago