.gitignore

# Usage guidelines
#
# A set of global Git ignores. This file is open-sourced.
# If you want to add some local paths, please add a .gitignore inside the project/directory where the files reside.

# General
*.log
*.orig
*.hprof

# IntelliJ IDEA
.attach_pid*
.idea
/.shelf/

# VSCode
*.code-workspace
.devcontainer
.vscode

# Python
.mypy_cache/
*.pyc

# Stratosphere
*.local.runconf
profiles/*local.conf

# Used when project is imported from bsp
.bsp
generated-obt
stale_outputs_checked
/test-output/

# briefly present when formatting scala files using the git pre-commit hook
diff-file.txt
diff-chunked.txt

# TODO (OPTIMUS-41799): fix zinc + jcstress and remove this
*_jcstress.java

# configuration file that should never go to codetree
mischief.obt

# EOF
# See top of file for .gitignore guidelines.