class
	FILE_COMPARER

General
	obsolete: "Use {PATH}.is_same_file_as instead."
	cluster: elks
	description: "Find out if two paths corresponds to exactly the same file."

Ancestors
	NATIVE_STRING_HANDLER

Generated by ISE EiffelStudio