Skip to content

Commit

Permalink
Fix
Browse files Browse the repository at this point in the history
  • Loading branch information
jl777 committed Jan 1, 2018
1 parent 8bec736 commit cb84dc0
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/fiat-cli
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,6 @@ echo kv; fiat/kv $1 $2 $3 $4
echo ceal; fiat/ceal $1 $2 $3 $4
echo mesh; fiat/mesh $1 $2 $3 $4
echo mnz; fiat/mnz $1 $2 $3 $4
echo mnz; fiat/axo $1 $2 $3 $4
echo mnz; fiat/etomic $1 $2 $3 $4
echo mnz; fiat/btch $1 $2 $3 $4
echo axo; fiat/axo $1 $2 $3 $4
echo etomic; fiat/etomic $1 $2 $3 $4
echo btch; fiat/btch $1 $2 $3 $4

0 comments on commit cb84dc0

Please sign in to comment.