dropping probably useless step
authorChris Koeritz <fred@gruntose.com>
Fri, 10 Nov 2017 20:13:57 +0000 (15:13 -0500)
committerChris Koeritz <fred@gruntose.com>
Fri, 10 Nov 2017 20:13:57 +0000 (15:13 -0500)
commite8d4f6b2fa068275db82ef20d92e499cc7253eec
tree2bcf9ab217816a39b86053a1827e75398056ba5f
parent619078dd518c82d714fd79511e7a49209ece6b0f
dropping probably useless step
scripts/rev_control/diff_repo.sh [deleted file]
scripts/rev_control/diff_repos.sh [new file with mode: 0644]
scripts/rev_control/version_control.sh