pathRename function

void pathRename(
  1. String oldPath,
  2. String newPath
)

Implementation

void pathRename(String oldPath, String newPath) {
  return std_std.pathRename(oldPath, newPath);
}