summaryrefslogtreecommitdiff
path: root/Makefile.in
Commit message (Expand)AuthorAge
* Profiling in MakefileGravatar Adam Chlipala2008-11-25
* Profiling supportGravatar Adam Chlipala2008-11-20
* Change 'sed' invocation to work in OSXGravatar Adam Chlipala2008-10-25
* mkdir -p BINGravatar Adam Chlipala2008-10-25
* Add 'package' make target; add LICENSEGravatar Adam Chlipala2008-10-24
* Proper configuration and installationGravatar Adam Chlipala2008-10-19