minor fixes
authorIan Kelling <iank@fsf.org>
Wed, 9 Aug 2017 00:06:49 +0000 (17:06 -0700)
committerIan Kelling <iank@fsf.org>
Wed, 9 Aug 2017 00:06:49 +0000 (17:06 -0700)
commit99439572819ac875b329189d7b9162a5bb8bc805
treefb80ea7d92b710c6abd27948ec59576442bbe15a
parentefcfb463ceda4de1d9953da31a2c0737471e5cf8
minor fixes
fai-revm
wrt-setup