| changeset 1736 | 7e61baa047f0 |
| parent 1734 | 750eeb7230a1 |
| child 1739 | ec153828ded2 |
| 1735:c02818d7e29f | 1736:7e61baa047f0 |
|---|---|
28 import sys |
28 import sys |
29 import getopt |
29 import getopt |
30 import time |
30 import time |
31 import __builtin__ |
31 import __builtin__ |
32 import util.paths as paths |
32 import util.paths as paths |
33 |
|
33 |
34 |
34 class BeremizIDELauncher: |
35 class BeremizIDELauncher: |
35 def __init__(self): |
36 def __init__(self): |
36 self.updateinfo_url = None |
37 self.updateinfo_url = None |
37 self.extensions = [] |
38 self.extensions = [] |