| commit | b9526515b7303e9d09a67f8438902ff01a55abc4 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 27 23:01:18 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 27 23:01:18 2001 +0000 |
| tree | 6f041811c9485d02fd6101661301e1bd6b09ce42 | |
| parent | 089c7d1d5e2e6463bf2d626b8a4fa518ce295dea [diff] [blame] |
Merging changes from release22-branch.
diff --git a/Mac/Distributions/dev.exclude b/Mac/Distributions/dev.exclude index 2babfd6..42ad004 100644 --- a/Mac/Distributions/dev.exclude +++ b/Mac/Distributions/dev.exclude
@@ -17,3 +17,4 @@ @* CVS [(]*[)] +*~[0-9]