Survex File: caves-1623/32/32
Included files: main links verteilerhalle forever
No differences from last saved file.
cave primary survexfile
directory primary survexfile caves-1623/32/32
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.