Closed b1a0 closed 7 months ago
This PR sets export of head file to .json instead of .txt and updates the call to this method also in the main. The old method for text export still exists, if the default should be text export, please switch back to save_header_file().
save_header_file()
This PR sets export of head file to .json instead of .txt and updates the call to this method also in the main. The old method for text export still exists, if the default should be text export, please switch back to
save_header_file()
.