From cfd4c23b3d2229055c436e1cf15f4a250d5437c1 Mon Sep 17 00:00:00 2001 From: Jeremy Landis Date: Sun, 12 Jan 2025 15:47:27 -0500 Subject: [PATCH] [git] Ignore profiler directory and define how to use in extension --- .gitignore | 1 + .mvn/extensions.xml | 1 + 2 files changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index 93fb6b23069..34897781121 100644 --- a/.gitignore +++ b/.gitignore @@ -10,6 +10,7 @@ /release.properties /target .github/keys/ +.profiler/ # These are needed if running in IDE without properties set /ibderby diff --git a/.mvn/extensions.xml b/.mvn/extensions.xml index a53b14c2c9d..91e0a51105e 100644 --- a/.mvn/extensions.xml +++ b/.mvn/extensions.xml @@ -17,6 +17,7 @@ --> + fr.jcgay.maven maven-profiler