| .. |
|
black_format.sh
|
1b7d42c99e
Print colored diffs when there are formatting failures in CI
|
4 years ago |
|
check_ci_log.py
|
abd7c1833e
Added Linux sanitizer with xvfb to github workspace
|
5 years ago |
|
clang_format.sh
|
1b7d42c99e
Print colored diffs when there are formatting failures in CI
|
4 years ago |
|
copyright_headers.py
|
49646383f1
Update copyright statements to 2021
|
4 years ago |
|
file_format.sh
|
1b7d42c99e
Print colored diffs when there are formatting failures in CI
|
4 years ago |
|
make_icons.sh
|
b6d6863055
Remove unused scripts from the `misc/scripts` directory
|
5 years ago |
|
make_tarball.sh
|
edef9a9c86
Add script to make source tarball with `.git/HEAD`
|
4 years ago |
Hugo Locurcio
1b7d42c99e
Print colored diffs when there are formatting failures in CI