Mercurial > urweb
log configure.ac
age | author | description |
---|---|---|
Tue, 31 Dec 2013 11:10:19 -0500 | Adam Chlipala | Return to working version mode |
Tue, 31 Dec 2013 10:48:50 -0500 | Adam Chlipala | New release |
Sun, 24 Nov 2013 10:06:37 -0500 | Adam Chlipala | Return to working version mode |
Sun, 24 Nov 2013 09:26:38 -0500 | Adam Chlipala | New release |
Thu, 21 Nov 2013 15:39:45 -0500 | Adam Chlipala | Switch back to working version mode |
Thu, 21 Nov 2013 14:53:01 -0500 | Adam Chlipala | Experimenting with distribution via 'make dist', to allow deletion of autogenerated files from version control |