diff options
| author | Mathieu Duponchelle <MathieuDuponchelle@users.noreply.github.com> | 2016-12-24 17:14:32 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2016-12-24 09:14:32 -0700 |
| commit | c4c1d59ca29aceb1c5919908ac97d9476264fd96 (patch) | |
| tree | 1940e7fdcc241c2d34cb5b68bf4e40211369dd1a /wrappers/wrapper.rkt | |
| parent | 9e643720ec903f3b448bd2589a0c02c2514805ae (diff) | |
wrapper.py: remove unused (and faulty) libc instantiation (#175)
Diffstat (limited to 'wrappers/wrapper.rkt')
0 files changed, 0 insertions, 0 deletions