11 lines
153 B
Plaintext
11 lines
153 B
Plaintext
# These files are generated by make_type_header_files.py
|
|
*_datastructure.h
|
|
|
|
Makefile
|
|
Makefile.common
|
|
cbmc-batch.yaml
|
|
**/*.txt
|
|
**/*.goto
|
|
|
|
!CMakeLists.txt
|