diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-01-12 18:13:24 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-01-12 18:13:24 +0100 |
| commit | af6b944efb53f429c1a67c30b7ae7576a464b0f5 (patch) | |
| tree | f567982b044265e9a384b8463159a0f1d435e885 /.gitignore | |
| parent | 73d73d7e055d62e62c9c994249fd6fddb2ad34e2 (diff) | |
-avoid // in URL
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions