Tags

Tags give the ability to mark specific points in history as being important

v2.1

1f40ac1b · Update PDFs from CI runner · Nov 29, 2019

Release: v2.1
v2.0

e491071e · Update PDFs from CI runner · Jul 29, 2019

Release: v2.0
v1.5

09a0a563 · Update PDFs from CI runner · Jul 23, 2019

Release: v1.5
v1.4

e199ba87 · Update PDFs from CI runner · Jun 09, 2019

Release: v1.4
v1.3

32619f31 · Update PDFs from CI runner · Jun 02, 2019

Release: v1.3
v1.2

c6b99007 · Remove obsolete [skip ci] · May 28, 2019

Release: v1.2
v1.1

87e7ecdf · [skip ci] Update PDFs from CI runner · May 20, 2019

Release: v1.1
v1

2bccd5b0 · [skip ci] Update PDFs from CI runner · May 16, 2019

Release: v1