doc/filters: update silenceremove documentation
authorPaul B Mahol <onemda@gmail.com>
Mon, 15 Oct 2018 16:10:16 +0000 (18:10 +0200)
committerPaul B Mahol <onemda@gmail.com>
Mon, 15 Oct 2018 17:03:01 +0000 (19:03 +0200)
commite1e6a3121693256361895184aa12062a16353041
treed0c7a380d4f3ec7474f20cc13c1c92f07dc62adc
parent936376f3f7a8dc01d57871c532a9038e13327ecd
doc/filters: update silenceremove documentation
doc/filters.texi