doc/tools/pyjsrest.py
changeset 10067 16c554c76eb4
parent 9661 c170ec8a4525
child 10232 cda1bdc3652e
--- a/doc/tools/pyjsrest.py	Tue Aug 19 12:04:23 2014 +0200
+++ b/doc/tools/pyjsrest.py	Tue Jul 29 07:36:41 2014 +0200
@@ -2,8 +2,6 @@
 """
 Parser for Javascript comments.
 """
-from __future__ import with_statement
-
 import os.path as osp
 import sys, os, getopt, re