Ethan Frey cfe13e9c13 Cleanup proof format, complete basic cli tests		2017-06-15 17:45:44 +02:00
..
basictx.sh	Cleanup proof format, complete basic cli tests	2017-06-15 17:45:44 +02:00
ibc.sh	Starting bash cli tests	2017-06-15 17:16:00 +02:00