Jules Villard f0512bcd91 create infer/bin/ symlinks from the makefile ... Summary:public This is needed to have a working `opam install infer`. Actual working `opam install infer` in a follow-up diff. Reviewed By: jberdine Differential Revision: D3109308 fb-gh-sync-id: 49d7276 fbshipit-source-id: 49d7276		9 years ago
..
src	adding "kind" for taint attribute	9 years ago
BUCK	initial synchronization	10 years ago
Makefile.in	create infer/bin/ symlinks from the makefile	9 years ago
build.xml	initial synchronization	10 years ago