| commit | f2306d6b72f5efd73cca3a56dc2a39ef33615e46 | [log] [tgz] |
|---|---|---|
| author | bluss <bluss@users.noreply.github.com> | Sun Sep 10 20:58:33 2017 +0200 |
| committer | bluss <bluss@users.noreply.github.com> | Mon Sep 11 00:53:12 2017 +0200 |
| tree | ff68c065c0ddb8bbcd4ab954974e8bad14531aca | |
| parent | 0d8989de8df2acb31a4bb069fd2166fff7c835c4 [diff] |
Factor out EdgeType vs EdgeProperty checking