Survex File: caves-1626/caves
Included files: caves-no-schoenberg-hs 55/55.svx 120/120.svx
No differences from last saved file.
cave primary survexfile
directory primary survexfile caves-1626/caves
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.