.gitignore - sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

index : sail-riscv.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/.gitignore

blob: 0079a6798620d0edb98b9890e1c6a4f592cb7938 (plain)

/generated_definitions

# global things

_build/
_sbuild/
*.o
*.a
/z3_problems