diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-06-04 17:01:33 +0200 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-06-04 17:01:33 +0200 |
| commit | e84f5d1b3c753147ac1601537b2be15ec118144e (patch) | |
| tree | 0229cd76232722fbe44e2abfa6fc95ab0e345120 /src/Contraction | |
| parent | 18619efce47ef7fc44ba97e9b37b7f6162f5fe1b (diff) | |
user_version: don't copy hera if an external version is specified
Diffstat (limited to 'src/Contraction')
0 files changed, 0 insertions, 0 deletions