.gitignore

#
# Are you tempted to edit this file?
#
# First consider if the changes make sense for all,
# or if they are specific to your workflow/system.
# If it is the latter, you can augment this list with
# entries in .git/info/excludes
#
# see also test/files/.gitignore
#

#
# JARs aren't checked in, they are fetched by sbt
#
*/lib/*.jar
*/test/files/codelib/*.jar
*/test/files/lib/*.jar
*/test/files/speclib/instrumented.jar
*/tools/*.jar
*/src/main/scala/META-INF/

# Developer specific properties
*/build.properties
*/buildcharacter.properties

# might get generated when testing Jenkins scripts locally
*/jenkins.properties

# target directory for build
*/build/

# other
*/out/
*/bin/
*/sandbox/

# intellij
*/src/intellij*/*.iml
*/src/intellij*/*.ipr
*/src/intellij*/*.iws
**/.cache
*/.idea
*/.settings

# vscode
*/.vscode

# Standard symbolic link to build/quick/bin
*/qbin

# sbt's target directories
*/target/
*/project/**/target/
*/test/macro-annot/target/
*/test/files/target/
*/test/target/
*/build-sbt/
*/local.sbt
*/jitwatch.out

# Used by the restarr/restarrFull commands as target directories
*/build-restarr/
*/target-restarr/

# metals
*/.metals
*/.bloop
*/project/**/metals.sbt

*/.bsp

# prolog folder generated
*/prolog/