Mention bundeswehr.de filter in the user manual
authorFabian Keil <fk@fabiankeil.de>
Sun, 25 Sep 2022 18:10:24 +0000 (20:10 +0200)
committerFabian Keil <fk@fabiankeil.de>
Mon, 26 Sep 2022 09:31:03 +0000 (11:31 +0200)
commit4baa9e9d7cae8f5bed7e948be1bbf89ff5f86b80
treec488b131f135ab3cdffbc54de071efb1fbbdf25f
parent4945f90551202eb2cf8be276a7ea0944d9c8bb34
Mention bundeswehr.de filter in the user manual
doc/source/user-manual.sgml