eric6/WebBrowser/Tools/WebBrowserTools.py

changeset 7781
607a6098cb44
parent 7732
4c9cf117acf6
child 7923
91e843545d9a
equal deleted inserted replaced
7780:41420f82c0ac 7781:607a6098cb44
4 # 4 #
5 5
6 """ 6 """
7 Module implementing tool functions for the web browser. 7 Module implementing tool functions for the web browser.
8 """ 8 """
9
10 9
11 import os 10 import os
12 import re 11 import re
13 import mimetypes 12 import mimetypes
14 13

eric ide

mercurial