mirror of
https://github.com/github/gitignore.git
synced 2026-08-30 03:37:05 +02:00
Compare commits
11 Commits
79e6a0946f
...
0d3bc139e9
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
0d3bc139e9 | ||
|
|
248de8ed97 | ||
|
|
24b539acec | ||
|
|
25713eb3a5 | ||
|
|
5f5a92fcfe | ||
|
|
b42312254f | ||
|
|
a850db9d75 | ||
|
|
98608a890a | ||
|
|
63caeed028 | ||
|
|
14fea44fd5 | ||
|
|
be40b2ed2c |
@ -16,7 +16,8 @@
|
|||||||
rad.json
|
rad.json
|
||||||
#Translation Base-file
|
#Translation Base-file
|
||||||
*.g.xlf
|
*.g.xlf
|
||||||
#License-file
|
#License-files
|
||||||
|
*.bclicense
|
||||||
*.flf
|
*.flf
|
||||||
#Test results file
|
#Test results file
|
||||||
TestResults.xml
|
TestResults.xml
|
||||||
2
Global/OhMyOpenAgent.gitignore
Normal file
2
Global/OhMyOpenAgent.gitignore
Normal file
@ -0,0 +1,2 @@
|
|||||||
|
.sisyphus/*
|
||||||
|
!.sisyphus/rules/
|
||||||
11
community/HOL.gitignore
Normal file
11
community/HOL.gitignore
Normal file
@ -0,0 +1,11 @@
|
|||||||
|
*Script
|
||||||
|
|
||||||
|
# Holmake generated files
|
||||||
|
*Theory.sig
|
||||||
|
*Theory.sml
|
||||||
|
*.uo
|
||||||
|
*.ui
|
||||||
|
|
||||||
|
# Holmake auxiliary files
|
||||||
|
.hollogs
|
||||||
|
.HOLMK
|
||||||
Loading…
Reference in New Issue
Block a user