diff options
author | Julien Lepiller <julien@lepiller.eu> | 2022-05-01 07:54:59 +0200 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2022-05-01 13:14:55 +0200 |
commit | 044b42720d7c8117008302b23fbf248fa962de9e (patch) | |
tree | bf434dbac6e3e08d85b8e0d8f8a6fa42a2d3196f /HACKING | |
parent | a9e8b6e7a27e02e2457f55be2bcac1321b43fa19 (diff) |
gnu: Add ocaml-ppx-ignore-instrumentation.
* gnu/packages/ocaml.scm (ocaml-ppx-ignore-instrumentation): New
variable.
Diffstat (limited to 'HACKING')
0 files changed, 0 insertions, 0 deletions