David Baker 824ed06f36 Fix docker build ...

Remove the element-call directory level which isn't necessary any
more (accidentally removed the `cd element-call` in #794).

2022-12-20 11:44:27 +00:00

293 B

Raw Blame History

View Raw