Skip to content
This repository has been archived by the owner on Nov 6, 2020. It is now read-only.

Commit

Permalink
remove some old (unused/duplicate) files (#3975)
Browse files Browse the repository at this point in the history
  • Loading branch information
rphmeier authored and gavofyork committed Dec 27, 2016
1 parent 8125b56 commit 80eae8c
Show file tree
Hide file tree
Showing 3 changed files with 0 additions and 30 deletions.
9 changes: 0 additions & 9 deletions sync/cov.sh

This file was deleted.

12 changes: 0 additions & 12 deletions util/Makefile

This file was deleted.

9 changes: 0 additions & 9 deletions util/cov.sh

This file was deleted.

0 comments on commit 80eae8c

Please sign in to comment.