doc/filters: prefer "special" over "magic" for special input/output labels
authorStefano Sabatini <stefasab@gmail.com>
Sat, 14 Jul 2012 09:10:24 +0000 (11:10 +0200)
committerStefano Sabatini <stefasab@gmail.com>
Sat, 14 Jul 2012 09:40:08 +0000 (11:40 +0200)
commitbd58f00ec150456a7a8b82f0395d5e9e840edae5
tree0150013673b7af6890f3fe4370725b37389294fe
parentb65ccce866e9d6fb97ab8083c8fa16581255e12c
doc/filters: prefer "special" over "magic" for special input/output labels
doc/filters.texi