summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-02-09 09:51:21 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-02-09 09:51:21 -0500
commiteceb1ba3c0c84f4536320aebb45466fb6b1b22d3 (patch)
tree1d28b44ef0314fea7b0348a60f798172f35ae2bd /lib
parent3c8845010c2fcb27db5844e89649a856df312fbf (diff)
Update manual with Gian's experience building in OS X
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions