Add depth map export (closes #371)

This commit is contained in:
Jonas Herzig
2020-11-06 11:41:38 +01:00
parent a7d424679b
commit d8135d9038
26 changed files with 283 additions and 130 deletions