KekLib.LogDiff

ファイル名： LogDiff.py

処理内容： ログファイルの diff

Copyright (c) 2017,2023, Masatsuyo Takahashi, KEK-PF

make_log_diff(from_file, to_file, re_sub=None, write_substituted=False)

time_re_sub(line)