-
Wouter Klouwen authored
This commit adds the SIZE option to file(). It returns the file size of the given path if it exists and produces an error if not.
12b471e8
This commit adds the SIZE option to file(). It returns the file size of the given path if it exists and produces an error if not.