diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-08 23:20:05 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-10 02:17:25 +0100 |
| commit | 9de2798b4552d9fd1596c832321bb25496d85511 (patch) | |
| tree | 162fda2850cf7118412c99c0b39e0933261f4879 /community/ocaml/compile-without-debug-info.patch | |
| parent | 9a8549096f6aaf6411cce85ed32dd13e638339a4 (diff) | |
| download | aports-9de2798b4552d9fd1596c832321bb25496d85511.tar.bz2 aports-9de2798b4552d9fd1596c832321bb25496d85511.tar.xz | |
community/ocaml: remove annotation files (.cmt and .cmti)
Diffstat (limited to 'community/ocaml/compile-without-debug-info.patch')
0 files changed, 0 insertions, 0 deletions