diff options
| author | UnavailableDev <69792062+UnavailableDev@users.noreply.github.com> | 2023-05-20 22:08:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-20 22:08:08 +0200 |
| commit | ac1884bec264d08dc5cc58d1cda24e20734c9205 (patch) | |
| tree | 6c71a74d2b3d4af7d183b0823b15bba601a37bb5 /zumo/.gitignore | |
| parent | 7a18524a8b97deaafcd93be14e56ce308fe4583c (diff) | |
| parent | ba026d8229744a01818d38552ec7271e689d19eb (diff) | |
Merge branch 'lonkaars:master' into master
Diffstat (limited to 'zumo/.gitignore')
| -rw-r--r-- | zumo/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/zumo/.gitignore b/zumo/.gitignore index d3e1535..888e905 100644 --- a/zumo/.gitignore +++ b/zumo/.gitignore @@ -3,3 +3,4 @@ main *.hex compile_commands.json .cache +pidtest |