[commit: ghc] branch 'decision-procedure' deleted

git at git.haskell.org git at git.haskell.org
Mon May 12 13:19:57 UTC 2014


Repository : ssh://git@git.haskell.org/ghc

Deleted branch: decision-procedure


More information about the ghc-commits mailing list