diff options
-rwxr-xr-x | docs/lab/serve.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/lab/serve.py b/docs/lab/serve.py index e0dddebdf..5af9d393e 100755 --- a/docs/lab/serve.py +++ b/docs/lab/serve.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 from __future__ import print_function, absolute_import import os, sys import signal |