Merge pull request #1733 from soimort/cleanup
Fix typo and clean up .gitignore
commit46fc92db37454ac5f15b655c0320246aee226898
authorEdwin Brady <edwin.brady@gmail.com>
dateMon 24 Nov 2014, 11:19 (12 years ago)
parent2b02303bf40078
.gitignore−8
@@ -17,14 +17,6 @@ custom.mk
1717test/output
1818test/*[0-9][0-9][0-9]/output
1919test/*[0-9][0-9][0-9]/*.exe
20−tutorial/*.aux
21−tutorial/*.bbl
22−tutorial/*.blg
23−tutorial/*.log
24−tutorial/*.out
25−tutorial/*.toc
26−tutorial/*.fdb_latexmk
27−tutorial/*.fls
2820tags
2921TAGS
3022src/Version_idris.hs
src/Idris/REPL.hs+1−1
@@ -140,7 +140,7 @@ repl orig mods
140140 showM c thm n = if c then colouriseFun thm (show n)
141141 else show n
142142
143−-- | Run the REPL seDver
143+-- | Run the REPL server
144144startServer :: PortID -> IState -> [FilePath] -> Idris ()
145145startServer port orig fn_in = do tid <- runIO $ forkOS (serverLoop port)
146146 return ()