Update update.py

ffalconu · May 20, 2020 · 007d321 · 007d321
1 parent 509fde0
commit 007d321
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/discord/update.py b/docs/discord/update.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 # -*- coding: utf-8 -*-
 
 # Copyright 1996-2020 Cyberbotics Ltd.