update headers

This commit is contained in:
andrew (from workstation) 2020-05-14 21:59:50 +02:00
parent 7c60c8c648
commit 03070831b0
2 changed files with 2 additions and 1 deletions

View File

@ -618,4 +618,4 @@ def main(input_path: str, output_path: str, headers_path: str):
if __name__ == '__main__': if __name__ == '__main__':
main(sys.argv[-3], sys.argv[-2], sys.argv[-1]) main(sys.argv[-3], sys.argv[-2], sys.argv[-1]

View File

@ -4,6 +4,7 @@ import java.io.InputStream;
import java.nio.charset.StandardCharsets; import java.nio.charset.StandardCharsets;
import java.lang.IllegalStateException; import java.lang.IllegalStateException;
import java.io.IOException; import java.io.IOException;
import java.io.DataInput;
public class TdApi { public class TdApi {