diff options
author | hattenberger | 2013-05-01 22:48:38 +0000 |
---|---|---|
committer | hattenberger | 2013-05-01 22:48:38 +0000 |
commit | a87835178bec762ca9956f067de750178f9822fa (patch) | |
tree | 2584c5e3aa2227f81b1fb189ff17f3d127ef041e /trunk/examples/ivyivyprobe.ml | |
parent | 828558279a8209cbc4d8f84eb2ec15f517b623d4 (diff) | |
download | ivy-ocaml-a87835178bec762ca9956f067de750178f9822fa.zip ivy-ocaml-a87835178bec762ca9956f067de750178f9822fa.tar.gz ivy-ocaml-a87835178bec762ca9956f067de750178f9822fa.tar.bz2 ivy-ocaml-a87835178bec762ca9956f067de750178f9822fa.tar.xz |
fix install target to properly clean up after failed install
Diffstat (limited to 'trunk/examples/ivyivyprobe.ml')
0 files changed, 0 insertions, 0 deletions