Mercurial > urweb
diff lib/ur/basis.urs @ 1880:0354df1b6849
Remove uw_cutErrorLocation() hijinks
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 10 Oct 2013 18:31:10 -0400 |
parents | fdafa3f92e40 |
children | b44138e6a3bf 1e360ea06a09 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 10 Oct 2013 18:31:10 -0400 |
parents | fdafa3f92e40 |
children | b44138e6a3bf 1e360ea06a09 |