log example/Miller_Rabin/run.sh @ 1716:c12df61ded45 draft

age author description
Sun, 20 Nov 2011 12:05:35 +0900 Daichi Toma fix time.sh draft
Sun, 20 Nov 2011 11:35:32 +0900 Daichi Toma add shell script that measure time draft