Skip to content
Snippets Groups Projects
Commit ff533343 authored by Savici, Andrei T.'s avatar Savici, Andrei T.
Browse files

Merge pull request #13943 from mantidproject/pylint_tools

Adding tools subtree to pylint
parents e0e918a6 bab863c5
No related branches found
No related tags found
No related merge requests found
......@@ -33,6 +33,7 @@ if ( PYLINT_FOUND )
Framework/PythonInterface/plugins
scripts
Testing/SystemTests/tests/analysis
tools
)
set ( PYLINT_EXCLUDES
scripts/lib1to2
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment