diff options
| author | Alberto Ruiz <aruiz@um.es> | 2013-06-24 07:37:40 -0700 |
|---|---|---|
| committer | Alberto Ruiz <aruiz@um.es> | 2013-06-24 07:37:40 -0700 |
| commit | 2c06aabae5d50164ae520c70c9dc61aefc09cb72 (patch) | |
| tree | 1a2a6780d40b04fde19c8b6a407ecec1542fee3d /reinstall.sh | |
| parent | ea2e0fad701d6dcacc99a17034d68ccb11532e43 (diff) | |
| parent | 027fa6391bc7b21a8aecbdc577ad485aee274333 (diff) | |
Merge pull request #43 from mikeplus64/master
Add FFI helpers
Diffstat (limited to 'reinstall.sh')
0 files changed, 0 insertions, 0 deletions