public void deleteVersion(DomainFile df, int version) throws Exception {

		assertFileInProject(df);

		df.delete(version);
		repo.refresh();
	}
Deletes the given version of the given file

@param df the file; cannot be null
@param version the version to delete
@throws Exception if there are any exceptions deleting the given version
Ghidra/Features/Base/src/test/java/ghidra/base/project/FakeSharedProject.java