add DSEC

2018-05-19 02:27:58 +02:00
parent 7bc9628eb0
commit 833115ea41
7 changed files with 9 additions and 0 deletions
--- a/src/fiat-cli
+++ b/src/fiat-cli
@@ -27,3 +27,4 @@ echo oot; fiat/oot $1 $2 $3 $4
 echo bntn; fiat/bntn $1 $2 $3 $4
 echo chain; fiat/chain $1 $2 $3 $4
 echo prlpay; fiat/prlpay $1 $2 $3 $4
+echo dsec; fiat/dsec $1 $2 $3 $4