8000 Exclude deprecated from lowercase_definition check by jamesaoverton · Pull Request #1224 · ontodev/robot · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Exclude deprecated from lowercase_definition check#1224

Merged
jamesaoverton merged 4 commits intomasterfrom
fix-1220
Nov 13, 2024
Merged

Exclude deprecated from lowercase_definition check#1224
jamesaoverton merged 4 commits intomasterfrom
fix-1220

Commits

Commits on Nov 12, 2024
0