Differences
This shows you the differences between the selected revisions of the page.
| 2015-10-19 | 2015-10-19 | ||
| Restored revision 1418982437. Undoing revision 1444994978. (Petr) | Another try for clarification. (Petr) | ||
| Line 83: | Line 83: | ||
| ===== Exceptions ===== | ===== Exceptions ===== | ||
| - | For convenience, masks ''*.*'' and ''*.'' are exceptions matching any file and any file without an extension, respectively, even if its name does not include any dot. | + | For convenience, mask ''*.*'' is an exception matching any file or directory, even if its name does not include any dot. Similarly, mask ''*.'' matches any file or directory without an extension. |