Revision dc458d00
| ID | dc458d002aa06345d80bac0853ec3c60b74a0ffd |
| Parent | 1b8acf70 |
| Child | c979d253 |
One more gitignore rule
This was forgotten in the recent “switch to explicit ignore rules”.
Reviewed-by: imsnah
Files
- added
- modified
- copied
- renamed
- deleted
| ID | dc458d002aa06345d80bac0853ec3c60b74a0ffd |
| Parent | 1b8acf70 |
| Child | c979d253 |
Added by Iustin Pop over 15 years ago
One more gitignore rule
This was forgotten in the recent “switch to explicit ignore rules”.
Reviewed-by: imsnah