# contributor: Xah Lee (XahLee.org)
|
|
# name: rename-file
|
|
# key: rename-file
|
|
# key: rf
|
|
# --
|
|
(rename-file FILE$0 NEWNAME &optional OK-IF-ALREADY-EXISTS)
|