Update issue tracker URL
commitf70befbb26728cd25bf62461e8cb00e76e60e771
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 27 Sep 2013, 10:17 (13 years ago)
parent6a98908
src/Idris/Delaborate.hs+1−1
@@ -11,7 +11,7 @@ import Core.Evaluate
1111
1212import Debug.Trace
1313
14−bugaddr = "https://github.com/edwinb/Idris-dev/issues"
14+bugaddr = "https://github.com/idris-lang/Idris-dev/issues"
1515
1616delab :: IState -> Term -> PTerm
1717delab i tm = delab' i tm False