Dmytro Maluka c7d65d113a man page: Remove empty lines ...

As pointed out by @niten94, empty lines in the man page are not just
unnecessary but also cause extra empty lines to be displayed with
alternative `man` implementations, e.g. `mandoc`. To test on Debian,
for example, mandoc's implementation is named `mman` and included in the
`mandoc` package.

2025-08-19 01:57:18 +02:00

..

packaging

man page: Remove empty lines

2025-08-19 01:57:18 +02:00

micro-logo-drop.svg

Filled µ with white for consistency (#2811)

2023-04-30 12:06:47 -07:00

micro-logo-mark.svg

Filled µ with white for consistency (#2811)

2023-04-30 12:06:47 -07:00

micro-logo.svg

Filled µ with white for consistency (#2811)

2023-04-30 12:06:47 -07:00

micro-solarized.png

Update screenshot

2020-02-11 16:30:58 -05:00