diff options
author | Felipe Sateler <fsateler@debian.org> | 2019-07-07 22:22:01 -0400 |
---|---|---|
committer | Felipe Sateler <fsateler@debian.org> | 2019-07-07 22:22:01 -0400 |
commit | 0127fbfb95bb42b900e0010b4b7bc365fd196ddd (patch) | |
tree | c35ff25188ac079d96a201a9ac0a1112d9997b7b /debian/patches/series | |
parent | 940f248a88f9f65344b77380c7d3c6a8ccc0da57 (diff) |
Fix format error in generated manpage
Man does not like emdash vs dash
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..8d3d25b --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +mkosi.md-convert-emdash-into-regular-dash.patch |