def __init__()

in SQLDeveloper/SQLDeveloperVersioner.py [0:0]


    def __init__(self, fp):
        self.fp = fp
        self.sechead = "[properties]\n"