Ondřej Surý d96765377c Update ARM on the default ordering ...

(cherry picked from commit 9e11b54bbc)

2018-08-06 13:03:28 +02:00

..

arm

Update ARM on the default ordering

2018-08-06 13:03:28 +02:00

design

copyrights

2018-05-23 09:52:09 -07:00

dev

Resolve "run xmllint on *.xml and *.docbook in precheck"

2018-07-10 17:50:06 -07:00

doxygen

Remove $Id markers, Principal Author and Reviewed tags from the full source tree

2018-05-11 14:19:35 +02:00

draft

…

expired

…

misc

prepare 9.12.1rc1

2018-06-21 18:46:32 +02:00

rfc

…

tex

Update license headers to not include years in copyright in all applicable files

2018-02-23 10:38:02 +01:00

xsl

Remove $Id markers, Principal Author and Reviewed tags from the full source tree

2018-05-11 14:19:35 +02:00

Makefile.in

Update license headers to not include years in copyright in all applicable files

2018-02-23 10:38:02 +01:00