diff --git a/.gitignore b/.gitignore index 197ab3e0b4bd8..a54c306ece81e 100644 --- a/.gitignore +++ b/.gitignore @@ -39,6 +39,11 @@ buildNumber.properties .classpath .settings/ +# Dev executables + +.cmd +.bat + ############# ## Windows detritus #############