chiark / gitweb /
change raft settings
authorProjjol Banerji <probaner23@gmail.com>
Wed, 21 Jan 2015 05:09:25 +0000 (10:39 +0530)
committerProjjol Banerji <probaner23@gmail.com>
Wed, 21 Jan 2015 05:09:25 +0000 (10:39 +0530)
commite3c3a82588507f0d819dad053e3a5a7685c244a0
tree39005b9c30ee15e9e25a6310f38bf35a4a277335
parente6d4753fa4248917a5bfed81d2691ac946b83e67
change raft settings
resources/machine_profiles/julia.ini