From 571bb306cf3ce2ffbdaeb9a45bf3356717abcddd Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 10 Nov 2015 19:02:41 +0000 Subject: [PATCH] [sync] repair broken github sync --- infer/bin/BuckAnalyze | 0 infer/bin/infer | 0 infer/bin/inferTraceBugs | 0 3 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 120000 infer/bin/BuckAnalyze mode change 100755 => 120000 infer/bin/infer mode change 100755 => 120000 infer/bin/inferTraceBugs diff --git a/infer/bin/BuckAnalyze b/infer/bin/BuckAnalyze deleted file mode 100755 index 327403844..000000000 --- a/infer/bin/BuckAnalyze +++ /dev/null @@ -1 +0,0 @@ -../lib/python/BuckAnalyze \ No newline at end of file diff --git a/infer/bin/BuckAnalyze b/infer/bin/BuckAnalyze new file mode 120000 index 000000000..327403844 --- /dev/null +++ b/infer/bin/BuckAnalyze @@ -0,0 +1 @@ +../lib/python/BuckAnalyze \ No newline at end of file diff --git a/infer/bin/infer b/infer/bin/infer deleted file mode 100755 index 48dbd23fb..000000000 --- a/infer/bin/infer +++ /dev/null @@ -1 +0,0 @@ -../lib/python/infer \ No newline at end of file diff --git a/infer/bin/infer b/infer/bin/infer new file mode 120000 index 000000000..48dbd23fb --- /dev/null +++ b/infer/bin/infer @@ -0,0 +1 @@ +../lib/python/infer \ No newline at end of file diff --git a/infer/bin/inferTraceBugs b/infer/bin/inferTraceBugs deleted file mode 100755 index a602e4d98..000000000 --- a/infer/bin/inferTraceBugs +++ /dev/null @@ -1 +0,0 @@ -../lib/python/inferTraceBugs \ No newline at end of file diff --git a/infer/bin/inferTraceBugs b/infer/bin/inferTraceBugs new file mode 120000 index 000000000..a602e4d98 --- /dev/null +++ b/infer/bin/inferTraceBugs @@ -0,0 +1 @@ +../lib/python/inferTraceBugs \ No newline at end of file