summaryrefslogtreecommitdiff
path: root/tools/proof
diff options
context:
space:
mode:
authorTim D. Smith <git@tim-smith.us>2015-05-09 20:01:32 -0700
committerTim D. Smith <git@tim-smith.us>2015-05-09 20:01:32 -0700
commit249527c985a9580a5a17ceab8f4488b855a8569c (patch)
treeb7e3340a3142be0f3a868aae8c3d48fc2e104adf /tools/proof
parentc586e1e494487c43cf6da886739f69bb91a7e15b (diff)
downloadfork-ledger-249527c985a9580a5a17ceab8f4488b855a8569c.tar.gz
fork-ledger-249527c985a9580a5a17ceab8f4488b855a8569c.tar.bz2
fork-ledger-249527c985a9580a5a17ceab8f4488b855a8569c.zip
link ledger executable to Python
Since the ledger executable embeds the Python interpreter, it does need an explicit link to a Python framework on OS X after all.
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions