Merge 6f8210fe16 into 9d7511bedc

Deno.gitignore

@@ -1,11 +0,0 @@
-# Deno
-# https://deno.com/
-
-# Cache directory (when using project-local DENO_DIR)
-# https://docs.deno.com/runtime/fundamentals/setup/#deno_dir
-.deno/
-
-# Coverage reports
-# https://docs.deno.com/runtime/reference/cli/coverage/
-coverage/
-*.lcov

HOL.gitignore

@@ -0,0 +1,11 @@
+*Script
+
+# Holmake generated files
+*Theory.sig
+*Theory.sml
+*.uo
+*.ui
+
+# Holmake auxiliary files
+.hollogs
+.HOLMK

Node.gitignore

@@ -92,8 +92,9 @@ dist
 # vuepress build output
 .vuepress/dist
 
-# vuepress v2.x temp directory
+# vuepress v2.x temp and cache directory
 .temp
+.cache
 
 # Sveltekit cache directory
 .svelte-kit/

Scala.gitignore

@@ -1,5 +1,4 @@
 *.class
-*.tasty
 *.log
 
 # virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml

community/embedded/Microchip_MPLAB_X_IDE.gitignore

@@ -1,27 +0,0 @@
-#=============================================================================
-# Microchip MPLAB X IDE .gitignore file.
-#
-# MPLABX: https://www.microchip.com/en-us/tools-resources/develop/mplab-x-ide
-#
-# MPLABX Version Control:-
-# https://developerhelp.microchip.com/xwiki/bin/view/software-tools/ides/x/version-control/working-with-version-control/
-#-----------------------------------------------------------------------------
-
-# MPLAB X (NetBeans) Project files
-**/*.X/nbproject/private/
-**/*.X/nbproject/Makefile-*
-**/*.X/nbproject/Package-*
-!**/*.X/nbproject/*.xml
-
-# MPLAB X Generated Files and Build Output
-**/*.X/.generated_files/
-**/*.X/build/
-**/*.X/dist/
-**/*.X/debug/
-
-# MPLAB Code Configurator (MCC)
-**/*.X/mcc_generated_files/
-**/*.X/mcc-manifest-*.yml
-
-#-----------------------------------------------------------------------------
-