# HG changeset patch
# User Ma0
# Date 1515808050 -3600
# Sat Jan 13 02:47:30 2018 +0100
# Node ID 5066d1a0dfa3a7a5aef54c26b93b03595b3e3508
# Parent 2f3c4158cf3553030920708271bc43cdc79932a3
input: change from ifstream to stdio stream
diff -r 2f3c4158cf35 -r 5066d1a0dfa3 source/common/common
# HG changeset patch
# User Ma0
# Date 1515800251 -3600
# Sat Jan 13 00:37:31 2018 +0100
# Node ID ac8ce5ee657087c04c25f515ff2d3ee9d87a9a40
# Parent 6f4c949761c446334245d72204a3cd7345b36a9f
change date to 2018 in output file header
diff -r 6f4c949761c4 -r ac8ce5ee6570 source/encoder/encoder
# HG changeset patch
# User Ma0
# Date 1515799544 -3600
# Sat Jan 13 00:25:44 2018 +0100
# Node ID 6f4c949761c446334245d72204a3cd7345b36a9f
# Parent 2f3c4158cf3553030920708271bc43cdc79932a3
param2string: increase buffer size, do not store file names
diff -r 2f3c4158cf35 -r 6f4c949761c4 sour