language7 aktive RegelnGeprüft am 2026-09-30
HOL .gitignore Vorlage
Standard HOL gitignore template from upstream github/gitignore collection. Deterministisch mit Mustern des offiziellen GitHub-Repositorys zusammengeführt, um dein Projekt sauber von Abhängigkeitsordnern, Build-Artefakten und lokalen Umgebungsvariablen zu halten.
Interaktiver Stack-Generator
Im vollständigen Generator öffnen/
Search for templates
Schnell hinzufügen:
Ausgewählt1
HOL
Ausgewählte Vorlagen (1)
HOL
language
Standard HOL gitignore template from upstream github/gitignore collection
#hol
.gitignore
7 Regeln•1 Vorlage
### HOL ###*Script # Holmake generated files*Theory.sig*Theory.sml*.uo*.ui # Holmake auxiliary files.hollogs.HOLMK 13 Zeilen•UTF-8•LF
Deterministische Pipeline
Quellcode: HOL .gitignore
Crawlbare offizielle Upstream-Vorlagehol.gitignore•12 lines•UTF-8
*Script # Holmake generated files*Theory.sig*Theory.sml*.uo*.ui # Holmake auxiliary files.hollogs.HOLMK Wichtige Ausschlussmuster im Überblick
Wichtige Ausschlussmuster
Zentrale Ausschlussregeln für diese Technologie.
*Script*Theory.sig*Theory.sml*.uo*.ui.hollogs+1 weitere
Herkunft & Lizenzprüfung
Quelle:: Offizielle GitHub-gitignore (main)
Lizenz:: CC0-1.0
Platziere diese Datei unter dem Namen .gitignore im Stammverzeichnis deines Projekts. Die Änderungen greifen sofort für alle neuen und nicht getrackten Dateien.