Survex File: caves-1623/2023-jss-01/2023-jss-01
Included files: 2023-jss-01_trip1 2023-jss-01_trip2
No differences from last saved file.
cave primary survexfile caves-1623/2023-jss-01/2023-jss-01.svx
directory primary survexfile caves-1623/2023-jss-01/2023-jss-01
Cannot find any dated survex blocks in this survex file (not looking at *include files).
Report this to a nerd if you think this is incorrect.