Mercurial > urweb
log
age | author | description |
---|---|---|
Mon, 27 Oct 2008 08:27:45 -0400 | Adam Chlipala | Remove need for '() <-' notation |
Mon, 27 Oct 2008 08:16:19 -0400 | Adam Chlipala | Switch exit(1) call to uw_error() |
age | author | description |
---|---|---|
Mon, 27 Oct 2008 08:27:45 -0400 | Adam Chlipala | Remove need for '() <-' notation |
Mon, 27 Oct 2008 08:16:19 -0400 | Adam Chlipala | Switch exit(1) call to uw_error() |