acet-file-move

Parent Previous Next

acet-file-move


(acet-file-move  oldfile  newfile)

Renames the file oldfile to new name newfile; returns T on success.



©  Menhirs NV. All rights reserved.