doc/filters: document new remap filter option
authorPaul B Mahol <onemda@gmail.com>
Sun, 14 Jul 2019 16:29:23 +0000 (18:29 +0200)
committerPaul B Mahol <onemda@gmail.com>
Sun, 14 Jul 2019 16:29:23 +0000 (18:29 +0200)
commit166977a200a1b51149d7296f47dc61d24c392f67
tree7fff4647c08d7d3a5212403d0a35cd2411f4e991
parent54fc8d370eb8a4d384e2618077a0fbb30639ccce
doc/filters: document new remap filter option
doc/filters.texi