on master help sign in
Allowed update
commit39e045d617b0c4e5405e9105ead9202ca77d74bb authorMichael Snoyman <michael@snoyman.com> dateMon 30 Sep 2013, 08:51 (13 years ago) parent17f66ae
1 file changed+1
allowed.txt+1
allowed.txt+1
@@ -5554,3 +5554,4 @@ liquid-fixpoint EricSeidel
55545554liquidhaskell EricSeidel
55555555mono-traversable MichaelSnoyman
55565556proj4-hs-bindings PavelPenev
5557+Win32-extras KidoTakahiro