.gitignore\patches\CBMC\Test\FreeRTOS - delta/freertos.git - svn.code.sf.net: Obsolete (use freertos-git)

summary refs log tree commit diff

path: root/FreeRTOS/Test/CBMC/patches/.gitignore

blob: 4dec98ff0132eb093b75f203c65bbae7c7770d48 (plain)

1 2	`auto_patch* patched`