Leo Balter 3d4909b0fd Use .. for git diffs in the CI routines (#2140) ... the double dot gets only commits not in the left side of the double dot. The right side assumes HEAD. This will allow us to fetch the correct list of new or modified files in the current branch.		2019-04-25 17:56:55 -04:00
..
ci_build.sh	Add CircleCI (#2106)	2019-03-20 21:04:41 -04:00
ci_lint.sh	Use .. for git diffs in the CI routines (#2140)	2019-04-25 17:56:55 -04:00
ci_test.sh	Use .. for git diffs in the CI routines (#2140)	2019-04-25 17:56:55 -04:00
deploy.sh	Add CircleCI (#2106)	2019-03-20 21:04:41 -04:00