geost.base.BoreholeCollection.reset_header# BoreholeCollection.reset_header()# Refresh the header based on the loaded data in case the header got messed up.
