len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-12-12 14:45:09 -05:00
Code Issues Projects Releases Packages Wiki Activity

Added preprocessing out dir to .gitignore.

Browse source
This commit is contained in:
Tobias Reinhard 2022-11-11 15:11:44 -05:00
parent e33d940357
commit 49f0dc1f04
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
verification/verifast/.gitignore vendored
View file

@ -1 +1,5 @@
# Ignore log files
custom_build_scripts_RP2040/log_preprocessed_files custom_build_scripts_RP2040/log_preprocessed_files
# Ignore preprocessing output
preprocessed_files/*