diff --git a/.gitignore b/.gitignore index e5e99588efc..385805d2ab8 100644 --- a/.gitignore +++ b/.gitignore @@ -68,3 +68,11 @@ replay_pid* benchmark/reports benchmark/tracer benchmark/dacapo/scratch + +# JDK provisioning tools # +# mise +mise*.local.toml +.mise*.local.toml +.config/mise*.toml +# asdf +.tool-versions