Differences
This shows you the differences between the selected revisions of the page.
2013-12-20 | 2013-12-30 | ||
5.5 removing beta tags (martin) | no summary (188.194.177.47) | ||
Line 72: | Line 72: | ||
===== Exceptions ===== | ===== Exceptions ===== | ||
- | For convenience, a 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, masks ''*.*'' and ''*.'' are exceptions matching any file and any file without an extension, respectively, even if its name does not include any dot. |