Automatic generation produced by ISE Eiffel
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 Eiffel --
For more details: www.eiffel.com