Mention the sourceforge filter in the user-manual
authorFabian Keil <fk@fabiankeil.de>
Mon, 18 Jan 2021 14:09:23 +0000 (15:09 +0100)
committerFabian Keil <fk@fabiankeil.de>
Tue, 19 Jan 2021 13:25:06 +0000 (14:25 +0100)
commit457ac456ad60717f738a10e9600856ad23df5960
tree9ecd7c07587f6cf7f3d102d9acb3c27fe6839cfb
parent036190fc3ea8d0e3e5751486d8b7c9732c9181ea
Mention the sourceforge filter in the user-manual
doc/source/user-manual.sgml