dev-scripts/generate.py [291:296]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    old_text = read_file(filename)
    if old_text != text:
        write_file(filename, text)
        print("Generated " + filename)
        return True
    return False
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



dev-scripts/generate.py [307:312]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    old_text = read_file(filename)
    if old_text != text:
        write_file(filename, text)
        print("Generated " + filename)
        return True
    return False
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -