diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-21 17:33:33 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-21 17:33:33 +0100 |
| commit | 68098bcade314d0864200df82273b26458f8910f (patch) | |
| tree | 0f56778600af8b6a1388668cbdb19f45ae69aaa5 /.gitignore | |
| parent | 88fd81e5da88fe11746ed7c06ba283891e05b673 (diff) | |
fix test
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions