Mercurial > urweb
log
age | author | description |
---|---|---|
Sun, 31 Jan 2010 07:44:49 -0500 | Adam Chlipala | Remove mention of (hopefully) fixed problem with ./configure |
Sat, 30 Jan 2010 20:21:15 -0500 | Adam Chlipala | Remove unneeded lib/c directory |
Sat, 30 Jan 2010 15:34:00 -0500 | Adam Chlipala | Another try to include more Autofiles in the distribution |
Sat, 30 Jan 2010 13:39:39 -0500 | Adam Chlipala | Remove a faulty time tweak from Postgres serialization |
Sat, 30 Jan 2010 12:00:08 -0500 | Adam Chlipala | Change to satisfy GCC implicit aliasing rules |
Sat, 30 Jan 2010 11:21:26 -0500 | Adam Chlipala | Update Makefile.in's with new Autotools; add extra 'return NULL' to placate some -Wall |