Mercurial > urweb
log configure
age | author | description |
---|---|---|
2008-10-28 | Adam Chlipala | GCCARGS configure option |
2008-10-25 | Adam Chlipala | Use configure --prefix |
2008-10-19 | Adam Chlipala | Proper configuration and installation |
age | author | description |
---|---|---|
2008-10-28 | Adam Chlipala | GCCARGS configure option |
2008-10-25 | Adam Chlipala | Use configure --prefix |
2008-10-19 | Adam Chlipala | Proper configuration and installation |