.gitignore « rvgen « verification « tools - kernel/git/stable/linux-stable.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/tools/verification/rvgen/.gitignore

blob: 1e288a076560ef45520f1a2a05edcf1134abb19f (plain)

1
2
3

__pycache__/
parser.out
parsetab.py