2 Commits

Author	SHA1	Message	Date
Magne Sjaastad	06f9c6126d	Copy changes from dev-branch into main ... History of main branch was difficult to merge. Take a copy of dev-branch, and merge both ways between dev and main after the release.	2023-10-23 09:26:33 +02:00
Kristian Bendiksen	b0d01a988f	#9620 Pressure/depth data: add user interface.	2023-03-16 07:16:11 +01:00