Mercurial > urweb
log
age | author | description |
---|---|---|
Sat, 25 Oct 2008 12:07:10 -0400 | Adam Chlipala | Use configure --prefix |
Fri, 24 Oct 2008 19:59:17 -0400 | adamc | Make *_w function prototypes match header file |
Fri, 24 Oct 2008 17:39:47 -0400 | Adam Chlipala | Add 'package' make target; add LICENSE |
Fri, 24 Oct 2008 17:35:33 -0400 | Adam Chlipala | Remove debug print for optional inputs |