13 lines
186 B
Text
13 lines
186 B
Text
# Generated by cmake
|
|
/with_*_env.sh
|
|
|
|
# Created by test suite
|
|
*.produced
|
|
|
|
# Created by bench suite
|
|
*.measurements.jsonl
|
|
measurements.jsonl
|
|
|
|
# Created by compile tests
|
|
*.lean.c
|
|
*.lean.out
|