Mercurial > feed
log
age | author | description |
---|---|---|
Sat, 29 Sep 2012 10:34:11 -0400 | Adam Chlipala | Simplify Reddit example moredefault tip |
Sat, 29 Sep 2012 10:32:44 -0400 | Adam Chlipala | Simplify Reddit example |
Sat, 29 Sep 2012 10:30:00 -0400 | Adam Chlipala | tagAOR and a Reddit example of using it |
Sat, 23 Jun 2012 09:58:31 -0400 | Adam Chlipala | Regenerate Autotools files myself with Ron's patch |
Sun, 17 Jun 2012 20:41:54 +0200 | Ron de Bruijn | Parallel builds |
Wed, 26 Oct 2011 09:12:37 -0400 | Adam Chlipala | Upgrade ltmain.sh |