diff options
| author | 2026-03-17 13:43:05 +0100 | |
|---|---|---|
| committer | 2026-03-17 16:10:00 +0100 | |
| commit | 3eeb6f219e4d32160fa10895b57a8ddfefff5ff7 (patch) | |
| tree | febb6021a9e4a8593bd67402b25082b2f7109f72 /.gitignore | |
| parent | a8d6f8bf30c07edb775e56889f568ca20240bedf (diff) | |
REFACTOR: finish renaming
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -16,10 +16,11 @@ !Makefile !bootstrap.sh -src/hostconfig.h !/src/ !/src/* -!/tool/ +!/tool/*.c +!/tool/*.h +src/hostconfig.h !/test/ !/test/external/** |