diff options
| author | Olivier Laurent | 2019-11-27 22:11:33 +0100 |
|---|---|---|
| committer | Olivier Laurent | 2019-11-27 22:13:29 +0100 |
| commit | c3266d737bbda2b707ba1f2f78ecfe4e2e9f9ab8 (patch) | |
| tree | fe939e4e55a4c143bc72afde8f84ab3fbe173fc4 /kernel/cbytecodes.ml | |
| parent | ac99c6aba0091d5c1ee9511508e25d399425b61b (diff) | |
remove *.vos and *.vok file in "make clean"
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions