diff options
author | Rasmus Andersson <rasmus@notion.se> | 2024-03-25 19:46:56 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2024-03-25 19:46:56 +0300 |
commit | 528656b5174cf727ffb53fbd25d4e69f0f9c80de (patch) | |
tree | 2e56ec77ef37d8d739cc25da8678f81d84fb6a10 | |
parent | 371a1d588526f6e84046ca8f3958239ee89c2109 (diff) | |
download | inter-528656b5174cf727ffb53fbd25d4e69f0f9c80de.tar.xz |
website: use "python3" in lab/serve.py
-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 |