diff options
| author | Théo Zimmermann | 2019-05-08 20:35:58 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-08 20:36:30 +0200 |
| commit | df8e45d9bd3908278254e769839ddc98d5057ee5 (patch) | |
| tree | d672708cb52c3ad196922bb018c65a76d57dd4d3 /kernel/nativecode.ml | |
| parent | 86fd245bfd5c9750b515ea4204b0a9a50c14d930 (diff) | |
Clean-up: remove dead appveyor.sh file.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions