summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2019-03-17 18:36:02 +0100
committerJulien Lepiller <julien@lepiller.eu>2019-03-17 18:37:37 +0100
commit50ab554bd5b8f81c1d3a52901bdfbdac143b86f4 (patch)
treea5a6e4175cac1ce6453f2aac4456bdfa7b4ae743 /.gitignore
parent22d1cb7ffaaa513f5f2e522844256f871dcd1ec8 (diff)
gnu: unison: Fix manual generation.
* gnu/packages/ocaml.scm (unison)[arguments]: Fix documentation generation.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions