]> jspc29.x-matter.uni-frankfurt.de Git - coral.git/commit
multiple tries to record a bin, when it fails
authormaps@jspc10 <maps@jspc10.x-matter.uni-frankfurt.de>
Wed, 5 Nov 2014 16:55:47 +0000 (17:55 +0100)
committermaps@jspc10 <maps@jspc10.x-matter.uni-frankfurt.de>
Wed, 5 Nov 2014 16:55:47 +0000 (17:55 +0100)
commitfb425a519c755a260f1fde870a76d19bf826b9df
treef8ded3c6990ed32e413f65d294bcd36b8f88b111
parent9ce28c938a1f09e96903abb9686e42833b4cacc3
multiple tries to record a bin, when it fails
user_interface/pmt_ro.pl
user_interface/regio.pm