diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 08:30:46 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-05-10 08:30:46 +0200 |
| commit | d8201044eebdbad396c2505a167ba95f982dafa1 (patch) | |
| tree | b36f4cdfc14f234e5f712826344ebccb1055a45d | |
| parent | a2db057350751f42d80eb0a93ae29ad550b1f7d0 (diff) | |
Ignore local Debbugs data.
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -13,3 +13,4 @@ scripts/mumi pre-inst-env *.log *.trs +data/* |