diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-01-29 16:18:01 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2023-01-29 16:18:01 +0100 |
| commit | e829867cc2d6879a0aeb50c08ae40ebc56b4e6b1 (patch) | |
| tree | 7465150c86969e66a90e4b960bb3537485205842 /src/.gitignore | |
| parent | 6c88f3bab0b743487b367712fa1ec27d1f87389e (diff) | |
| parent | cd47bd564d7fc6177ba2e231d76bf352978409b8 (diff) | |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'src/.gitignore')
| -rw-r--r-- | src/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/.gitignore b/src/.gitignore index 035dc34..89edb97 100644 --- a/src/.gitignore +++ b/src/.gitignore @@ -19,6 +19,7 @@ /t?-rand /t?-realpath /t?-shconfig +/t?-socket /t?-strchr2 /t?-string /t?-strquote |