-
Robert Ricci authored
(/users and /proj, both of which are definitely available on both paper and plastic), and improved the error message if they are in a different directory.
f82374a8
(/users and /proj, both of which are definitely available on both paper and plastic), and improved the error message if they are in a different directory.