diff options
| author | gautier.hattenberger | 2017-01-20 12:27:48 +0000 |
|---|---|---|
| committer | gautier.hattenberger | 2017-01-20 12:27:48 +0000 |
| commit | 1e696cd276931081d0bfec92f45a9ac023facd98 (patch) | |
| tree | 5be10046493ac16690fc3effa5b3a1b25ff5ffbc /trunk/tkIvy.ml | |
| parent | 6c9b4d4ebe4bba64575fa80f3462ca6e169bd5db (diff) | |
| download | ivy-ocaml-1e696cd276931081d0bfec92f45a9ac023facd98.zip ivy-ocaml-1e696cd276931081d0bfec92f45a9ac023facd98.tar.gz ivy-ocaml-1e696cd276931081d0bfec92f45a9ac023facd98.tar.bz2 ivy-ocaml-1e696cd276931081d0bfec92f45a9ac023facd98.tar.xz | |
fix Makefile to install tkivy
Diffstat (limited to 'trunk/tkIvy.ml')
0 files changed, 0 insertions, 0 deletions