Survex File: caves-1623/rentner/schmuckkasten
No differences from last saved file.
cave primary survexfile caves-1623/rentner/rentner.svx
directory primary survexfile caves-1623/rentner/rentner
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.