repo.or.cz
/
0ad.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Rename "Egypt (4)" to "Egypt (3v3)" for correctness and consistency.
[0ad.git]
/
.arclint
blob
449a54e5ba589967e60928976e9319b388453dee
1
{
2
"exclude": [
3
"(^binaries/system/)",
4
"(^source/third_party/)",
5
"(^libraries/)"
6
],
7
"linters": {
8
"text": {
9
"type": "text",
10
"severity": {
11
"1": "disabled",
12
"2": "disabled",
13
"3": "disabled",
14
"5": "disabled"
15
}
16
}
17
}
18
}