8000 Release v1.0.0: [website] misc. minor improvements · zhangaz1/infer · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

v1.0.0

v1.0.0: [website] misc. minor improvements
@jvillard jvillard tagged this 09 Oct 14:59 
Summary:
- rename the checker "Uninitialized Variable" to "Uninitialized Value"
  as this is the name of the issue type
- delete timestamp XML comment from the man pages to avoid future git
  churn when updating the website
- counting is hard

Reviewed By: martintrojer

Differential Revision: D24219165

fbshipit-source-id: cf3057373
Assets 2
Loading
0