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 /doc/fdl-1.3.texi | |
| parent | a9e8b6e7a27e02e2457f55be2bcac1321b43fa19 (diff) | |
gnu: Add ocaml-ppx-ignore-instrumentation.
* gnu/packages/ocaml.scm (ocaml-ppx-ignore-instrumentation): New
variable.
Diffstat (limited to 'doc/fdl-1.3.texi')
0 files changed, 0 insertions, 0 deletions