diff options
Diffstat (limited to 'extensions/.gitignore')
| -rw-r--r-- | extensions/.gitignore | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extensions/.gitignore b/extensions/.gitignore index 2e74faf7..b1260f0b 100644 --- a/extensions/.gitignore +++ b/extensions/.gitignore @@ -5,5 +5,5 @@ /GNUmakefile /initext.c /initext?.c -/matches?.man -/targets?.man +/matches.man +/targets.man |