Mention the github filter in the user-manual
authorFabian Keil <fk@fabiankeil.de>
Mon, 18 Jan 2021 14:08:17 +0000 (15:08 +0100)
committerFabian Keil <fk@fabiankeil.de>
Tue, 19 Jan 2021 13:25:06 +0000 (14:25 +0100)
commit036190fc3ea8d0e3e5751486d8b7c9732c9181ea
treeed4e16a78cd005dd80fec14d7f662451d5c0a8ef
parent1846faea987341b3470934628c9aca5bff1e3121
Mention the github filter in the user-manual
doc/source/user-manual.sgml