diff options
| author | Marcin Wiącek <marcin@mwiacek.com> | 2019-05-05 21:16:32 +0200 |
|---|---|---|
| committer | Marcin Wiącek <marcin@mwiacek.com> | 2019-05-05 21:16:32 +0200 |
| commit | d077fb7244646d486930cc3d702cb440ddd648f1 (patch) | |
| tree | 03845fc9d280cc97c50d63eca96e780876845d8f /python/servo/bootstrap.py | |
| parent | cc919b803942b102908fce07507ced7c888aaea0 (diff) | |
| download | servo-d077fb7244646d486930cc3d702cb440ddd648f1.tar.gz servo-d077fb7244646d486930cc3d702cb440ddd648f1.zip | |
Fix typo for last change in bootstrap.py
Diffstat (limited to 'python/servo/bootstrap.py')
| -rw-r--r-- | python/servo/bootstrap.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/servo/bootstrap.py b/python/servo/bootstrap.py index ce959f48c7c..9e5fcbc1440 100644 --- a/python/servo/bootstrap.py +++ b/python/servo/bootstrap.py @@ -391,7 +391,7 @@ def get_linux_distribution(): else: raise Exception('unsupported version of %s: %s' % (distro, version)) distro, version = 'Ubuntu', base_version - #fixme: we should allow checked/supported versions only + # Fixme: we should allow checked/supported versions only elif distro.lower() not in [ 'centos', 'centos linux', |