diff scripts/paxos.rb @ 223:1c37472fc00d

add catch command from editors
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Thu, 28 Nov 2019 15:12:37 +0900
parents 1e696b2d3c6d
children
line wrap: on
line diff