Mercurial > urweb
log Makefile.in
age | author | description |
---|---|---|
Thu, 20 Nov 2008 12:16:30 -0500 | Adam Chlipala | Profiling support |
Sat, 25 Oct 2008 18:58:45 -0400 | Adam Chlipala | Change 'sed' invocation to work in OSX |
Sat, 25 Oct 2008 12:18:33 -0400 | Adam Chlipala | mkdir -p BIN |
Fri, 24 Oct 2008 17:39:47 -0400 | Adam Chlipala | Add 'package' make target; add LICENSE |
Sun, 19 Oct 2008 12:47:10 -0400 | Adam Chlipala | Proper configuration and installation |