> In the user manual, I am wondering how to refer to directories.
> Intuitively I used "directory" rather than "dir" because the latter is a
> bit informal.  But it occurs to me that "folder" will be better
> understood by users

``Directory''.  (``Folder'' will alienate veteran Unix users.)

                                        Juliusz
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users

Reply via email to