diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-11-21 14:44:09 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-11-21 14:44:09 +0100 |
| commit | 358388597835c364e9454a39d7161f06cbaac81c (patch) | |
| tree | fc1e4b3656fb108116ca16fa8c97c2b000185b21 /src/.gitignore | |
| parent | 0c94dcb79e820db768755a3348005f82e85537f7 (diff) | |
-typos
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions