diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-08 15:19:36 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-08 15:19:36 -0800 |
| commit | 6a4fc643283549556ae3f9c93ead7bbc3066f0fc (patch) | |
| tree | 153a1e20050cd0b5177a7b287c9d7328c3ec4c9b /library_versions | |
| parent | 2d42e02067084617b3efb06a80c2c8003f8797c3 (diff) | |
Clean up bv utils (part one). (#1580)
This is part one of an effort to clean up bv utils. It addresses review comments not addressed in
#1566 (changes of moved code), removes unused functions and moves a helper to compute the
gcd over Index.
Diffstat (limited to 'library_versions')
0 files changed, 0 insertions, 0 deletions