Mercurial > urweb
log src/config.sml.in
age | author | description |
---|---|---|
Sat, 20 Dec 2008 16:19:26 -0500 | Adam Chlipala | Successfully generated a page element from a signal |
Tue, 28 Oct 2008 15:05:16 -0400 | Adam Chlipala | GCCARGS configure option |
Sun, 19 Oct 2008 12:47:10 -0400 | Adam Chlipala | Proper configuration and installation |