Differences
This shows you the differences between the selected revisions of the page.
| 2015-09-14 | 2015-09-14 | ||
| no summary (80.73.128.56) (hidden) | Restored revision 1418982437. Undoing revisions 1442236085, 1442236152. (martin) (hidden) | ||
| Line 84: | Line 84: | ||
| ===== 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, masks ''*.*'' and ''*.'' are exceptions matching any file and any file without an extension, respectively, even if its name does not include any dot. | ||
| + | |||