diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2019-02-17 17:08:35 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2019-02-17 17:08:35 -0500 |
| commit | e915c63a97bb0d49ba1eddb1579c07839c26e980 (patch) | |
| tree | d6140f271bf666672c247a3666854842a9ab582d /debian/libaac-tactics-ocaml-dev.ocamldoc | |
| parent | 47393169db58d0556481d9a13007f047a5c6fdaa (diff) | |
Don’t install .cm(a|x|xa) files
Diffstat (limited to 'debian/libaac-tactics-ocaml-dev.ocamldoc')
0 files changed, 0 insertions, 0 deletions