diff options
| author | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-03-07 15:10:57 -0500 |
|---|---|---|
| committer | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-03-07 15:10:57 -0500 |
| commit | 7f1386b7af49d1ec91d69b9ab2ba6c4c5b59f3d1 (patch) | |
| tree | 5866c58c36529634ecc0a4ad3283308ef7da2ba3 /example/.config | |
| parent | 2995e97cd489abeeedf90ac60b4b98499661ce7e (diff) | |
fix: Generated header now removed during clean
Diffstat (limited to 'example/.config')
| -rw-r--r-- | example/.config | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/example/.config b/example/.config deleted file mode 100644 index 5140cd9..0000000 --- a/example/.config +++ /dev/null @@ -1 +0,0 @@ -CONFIG_FIB_NUMBER=8 |