docker: add final newline to detjson.py
Samuel Gräfenstein 5 years ago 0950c980 22b73d12
··· 37 37 json.dump(j, sys.stdout, sort_keys=True) 38 38 39 39 if __name__ == '__main__': 40 40 - main() 40 40 + main()