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/example | |
parent | 18619efce47ef7fc44ba97e9b37b7f6162f5fe1b (diff) |
user_version: don't copy hera if an external version is specified
Diffstat (limited to 'src/Contraction/example')
0 files changed, 0 insertions, 0 deletions