file.move: function for moving files via copy / delete (inefficient)

Description Usage

Description

function for moving files via copy / delete (inefficient)

Usage

1
file.move(from, to)

petermeissner/idep documentation built on May 25, 2019, 1:53 a.m.