diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-19 21:13:52 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-19 21:13:52 +0100 |
| commit | 84fd3013138db335d34fb734608b43fe2b85641e (patch) | |
| tree | ab9d545ca56ae9feabc473529f043697ac047d54 /src/.gitignore | |
| parent | c3ec8c929dd660bde7e79f378185760343ffd0fe (diff) | |
fix option
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions