diff scripts/paxos.pl @ 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 1559aa74dc74
children
line wrap: on
line diff