diff options
Diffstat (limited to 'Doc/tools/rstlint.py')
| -rwxr-xr-x | Doc/tools/rstlint.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/rstlint.py b/Doc/tools/rstlint.py index eaaf257e85..8e6b3744f2 100755 --- a/Doc/tools/rstlint.py +++ b/Doc/tools/rstlint.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # -*- coding: utf-8 -*- # Check for stylistic and formal issues in .rst and .py |