Skip to content

Commit

Permalink
Merge pull request #1399 from tier4/fix/remove_peoples_name_of_sim_team
Browse files Browse the repository at this point in the history
Update custom_spell.json
  • Loading branch information
hakuturu583 authored Sep 27, 2024
2 parents 92e0bd3 + b1be908 commit 60d3a91
Showing 1 changed file with 1 addition and 5 deletions.
6 changes: 1 addition & 5 deletions .github/workflows/custom_spell.json
Original file line number Diff line number Diff line change
Expand Up @@ -15,11 +15,8 @@
"DWITH_INTEGRATION_TEST",
"engageable",
"euclidian",
"hakuturu",
"Kataoka",
"libunwind",
"linelint",
"Masaya",
"Mersenne",
"Monic",
"Moszynski",
Expand All @@ -43,7 +40,6 @@
"Tschirnhaus",
"walltime",
"xerces",
"xercesc",
"yamacir-kit"
"xercesc"
]
}

0 comments on commit 60d3a91

Please sign in to comment.