Michał Kępień 635d915268 Prevent splitting GitLab identifiers across lines ...

GitLab issue and merge request numbers placed in release notes (in the
form of "#1234" for issues and "!5678" for merge requests) should not be
split across two lines.  Extend the shell pipeline generating
doc/arm/notes.txt with a sed invocation which prevents such splitting.

(cherry picked from commit 2d00143ab1)

2020-01-03 09:08:09 +01:00

..

arm

Prevent splitting GitLab identifiers across lines

2020-01-03 09:08:09 +01:00

design

Add documentation

2019-04-17 10:35:33 +02:00

dev

Simple text files with docs on build or design don't really need copyright on their own

2019-04-18 08:56:01 +02:00

doxygen

…

misc

Add new default siphash24 cookie algorithm

2019-07-21 17:30:53 -04:00

tex

Tweak paragraph style in release notes PDF

2019-06-07 08:37:33 +02:00

xsl

…

Makefile.in

…