Mercurial > urweb
log configure
age | author | description |
---|---|---|
Tue, 28 Oct 2008 15:05:16 -0400 | Adam Chlipala | GCCARGS configure option |
Sat, 25 Oct 2008 12:07:10 -0400 | Adam Chlipala | Use configure --prefix |
age | author | description |
---|---|---|
Tue, 28 Oct 2008 15:05:16 -0400 | Adam Chlipala | GCCARGS configure option |
Sat, 25 Oct 2008 12:07:10 -0400 | Adam Chlipala | Use configure --prefix |