🖇️

Merging files

Merging files

This button allows you to permanently merge another file into the current file.
As the merge is permanent, consider making a copy of the current file first and merging into the copy. Think about your source IDs and/or statement IDs. Do you want them to be different between the two files? The app will ensure that statement IDs ,but not source IDs, are unique between the files.
 
notion image