element-x-ada/tools/lint
2023-07-27 11:42:23 +02:00
..
lint.xml Lint: do not ignore unused resources (except for strings) 2023-07-27 11:42:23 +02:00