: " + changed_object.left_object.parent.get_name() + "/" + changed_object.left_object.get_name [...] : " + changed_object.right_object.parent.get_name
\\") library_file_name [...] _basepath, library_file_name [...] \\") remote_repo_directory_name