Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
ghci
InteractiveUI.hs
Find file
Blame
History
Permalink
workaround #2277: turn off the RTS timer when calling into editline
· dc25c00f
Simon Marlow
authored
Jul 30, 2008
dc25c00f