infer_clone

Commit Graph

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	3 years ago
markma	09fba4a0b5	0.0.1	3 years ago
Jules Villard	f34bd2b069	[help] import issue types documentation from website Summary: Take all the issue type documentation in the website and add it to infer itself so it can generate the website (see further diffs). I mostly generated this diff by writing a script to call from `utop` with various file lists to do most of the heavy lifting for me and make sure I didn't forget any issue types: P132800781 Reviewed By: ngorogiannis Differential Revision: D21934372 fbshipit-source-id: f3ea8c566	5 years ago

Author

SHA1

Message

Date

markma

f8dfc1ce1f

0.0.1

markma

09fba4a0b5

0.0.1

Jules Villard

f34bd2b069

[help] import issue types documentation from website

Summary:
Take all the issue type documentation in the website and add it to infer
itself so it can generate the website (see further diffs).

I mostly generated this diff by writing a script to call from `utop`
with various file lists to do most of the heavy lifting for me and make
sure I didn't forget any issue types: P132800781

Reviewed By: ngorogiannis

Differential Revision: D21934372

fbshipit-source-id: f3ea8c566

3 Commits (master)