diff config.bat @ 14074:f15db8536fdd

(Ffile_name_directory, Ffile_name_nondirectory, Ffile_name_as_directory, Fdirectory_file_name, Fexpand_file_name, Fsubstitute_in_file_name, Fcopy_file, Fmake_directory_internal, Fdelete_directory, Fdelete_file, Frename_file, Fadd_name_to_file, Fdefine_logical_name, Ffile_modes, Fset_file_modes, Fset_default_file_modes, Fdo_auto_save, Fread_file_name): Harmonize arguments with documentation.
author Erik Naggum <erik@naggum.no>
date Tue, 09 Jan 1996 00:32:04 +0000
parents 327ff78701e0
children 63951d3f3995
line wrap: on
line diff