diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-11-02 16:34:08 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-11-02 16:34:08 +0100 |
| commit | 9568bb5f5faccf8f997e4860285bc7c3ce51d781 (patch) | |
| tree | 1f1cea5330212b820a471a20ce77990e1938fcf4 /src/.gitignore | |
| parent | 1acbbdec112eeaa7176b40764e13251d6f65ab04 (diff) | |
add quote
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions