about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/.gitignore
blob: 276a053cd05582aea8c982ab16cc63cb86920ce1 (plain) 
1

genmc-src*/
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 09:26:32 +0000